Holds if this type is const.
predicate
isConst
(
)