add type predicates