An EnumerationType declares an enumeration similar to most well-known languages

Enumeration EOnOff {
	Off,
	On
}
Enumeration EOnOff of int8 {
	Off = 0,
	On = 1
}

Enumeration EnumName ["Documentation"] of PrimitiveType1 {
	// name1 = int
	// ...
}