More Built-In Types

Typed Scheme comes with a number of other types and type constructors, corresponding (mostly) to primitive types provided by PLT Scheme.

Other types cannot be written by the programmer, but are used internally and may appear in error messages.