Enumerated types

An enum type is the type denoted by the name of an enum item.