Declaring New Types

The form (define-type name type) adds a new type name. Al occurrences of name in a type are macro-expanded to type.