The typeclass represents objects that determine the structure
and behavior of their instances. Associated with an object
of typeclass is information describing its place in the
directed acyclic graph of classes, its slots, and its options.