Removed a few warnings
Improved handling of recursive types with cycle-detecting inference methods, including unification, substitution, chase, and the occurs check. Improved unification to produce variable chains, and to yield as simple as possible unified types.
Merge branch 'master' of github.com:DaMSL/K3-Core