The type system related classes (Types and Type Instances) are in this package.