A type is a hash table intended to contain methods for its instances.
See also parent, class, and using methods.
