added predicates for types