Что такое перечислимый тип в программировании?