Predicates for type checking, assertions, filtering etc