Declaring New Types

The form (define-type name type) adds a new type name that can later be used in type expressions.