Merge jt

type introspection with qualification, dry-comparison library, automata union, naive unranked pattern matching really unranked.