Defined predicates for namespaces to avoid using TYPEP.