section on an enumerated type