Split up the package #18
Description
As mentioned in #17 it might be beneficial to split up hypertypes into several individual packages.
The AST+Inference+Unification could certainly be split off into a separate package (leaving hypertypes as just the main data structure and generic machinery/classes), whether to split that further is probably a matter of taste. Certainly there do exist other packages which solely deal with unification, for example.