Holds if this type is a class.
predicate
isClass
(
)