New types

A number of new types are introduced, described in the following sections.

None of these new types introduce new kinds of value; they only provide new ways of constraining the value space.