Work in checking the syntax of type definitions.
Work in checking the syntax of type definitions.

Broaden interpretation of the type declarations of procedures to
permit named types.

Still need to work the named types (and the procedures they implicitly
define) into the actual type checking.

axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language,axch/dysvunctional-language