predicates

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

typ

Type predicates and assertions for Node