Contains classes related to the Jif type system and Jif types, including Jif labels and principals.

All the types and labelsextend from the class {@link polyglot.types.TypeObject TypeObject}. The objects of these classes should be created by invoking the correponding methods of {@link jif.types.JifTypeSystem JifTypeSystem}. @see polyglot.types.TypeObject @see polyglot.types.Type @see polyglot.types.TypeSystem @see jif.types.JifTypeSystem