The examples so far have described types as references to previously
defined types, or defined in terms of subranges of or pointers to
previously defined types. This chapter describes the other type
descriptors that may follow the `=' in a type definition.