Member predicate Type::isClass

Holds if this type is a class.

predicate isClass()