Member predicate Type::isConst

Holds if this type is const.

predicate isConst()