Enumerated Types

Types that can only have certain named values
Very useful for restricted domains
Each name is an integer internally
  enum  day_of_week  {Sun,  Mon,  Tue,
                               Wed,  Thu,  Fri,  Sat};
  day_of_week  today  =  Wed;