A simple type is:
A class may have more than one, or only simple types as members.
The model of a type is another way to define an ADT.
A type is a collection of values and therefore, a subset of a type.