ena 0.14.3

Union-find, congruence closure, and other unification code. Based on code from rustc.
Documentation