Creating new types

One of the ways that individual programmers can extend the language is to create new types.

When creating a new type, the user must define:

• The set of values that can be stored in an instance of the type
• The operations that can be performed on instances of the type.