Holds if this type is an enum
.
predicate
isEnum
(
)