Contains the type system and all related classes. This includes the definitions of {@link polyglot.types.Type Type} as well as all the concrete classes for it (e.g., for classes and primitives ). It includes the {@link polyglot.types.TypeSystem TypeSystem} interface. All type objects, including {@link polyglot.types.Type Type} but also objects representing variables, methods, constructors, etc., implement the {@link polyglot.types.TypeObject TypeObject} interface. @see polyglot.types.TypeSystem @see polyglot.types.Type @see polyglot.types.TypeObject