Member predicate Type::Type::hasName

Holds if this type is called name.

predicate hasName(string name)