It would be nice if the type and function specifications found in EEP 8 could be applied to behavior definitions. Something along the lines of how records are handled (but I don't have a firm suggestion on syntax). Thoughts? -- paul