ena 0.1.0

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