predicates

Set of various predicates for type checking, assertions, filtering etc