Type System
All objects are instances of interface types
Interface types can have methods, attributes, and relationships
Attributes are the usual kind (real, character, integer) or they are constructed (arrays, enumerations, references, structures)
Bulk type for a set of references to other objects