add the type predicates