AST, unification, and type inference utilities for hypertypes - View it on GitHub