Extra library for querying types
Generate the harness for execution methods. Basic support for MergePoint, TryOr, Match, NMatch, TermEq, TermNeq.