7 Compilation unit. 8 Composite type. A composite type has components. A controlled type supports user-defined assignment and finalization. Objects are always finalized before being destroyed.
All declarations contain a definition for a view of an entity.
13 Derived type. A derived type is a type defined in terms of another type, which is the parent type of the derived type. Each class containing the parent type also contains the derived type. The derived type inherits properties such as components and primitive operations from the parent. 14 Discrete type.