Comment on what an "enumeration" type is