Everything in the system is classified, and the class that a thing belongs to is a type. A type is implemented as a hash table containing method functions for its instances.
The list of types known to the system is displayed below.
Types of type :
HeaderType -- a class of lists with abbreviated constructors