Type Representation and Registry of Known Types.
Representation and type for Primitive Procedures.