Add basic type predicates to the primitives.