name = type-expression
Since types are merely sets of values, a constant definition which binds a name to a set of values, also serves to define new type names. For example:
Natural = {1 .. max(Integer)}
Usually, however, new types will be sets of abstract values which represent models of real world entities. See Data Modelling for a description of how to define such types.