Companion

Construct an enumeration type from a set with at least two instances. The set must have already been normalized, such that at most one of the elements is itself a type.

Extract my set of instances. If any object is itself a type then all of its subtypes are automatically instances, but they're not returned by this method. Also, any object that's a type and has a supertype in this set will have been removed during creation of this enumeration.

Avail's boolean type, the equivalent of Java's primitive boolean pseudo-type, similar to Java's boxed Boolean class.

The type whose only instance is the value false.

The type whose only instance is the value true.