10.10.3  Naming Types

Types may be named much like values:

    Foo  = Int;
    Name = String;
    Vec  = Float64_Rw_Vector;

Such statements do not create new types, just new names for existing types. They may be used to improve readability, or as an aid to conciseness, assigning short local synonyms to types with long names.