Specifies a domain of objects together with the operations applicable
to the objects, without defining the physical implementation of those
objects. A type may not contain any methods, maintain its own thread
of control, or be nested. However, it may have attributes and
associations. The associations of a Type are defined solely for the
purpose of specifying the behavior of the type's operations and do not
represent the implementation of state data.