[Bug 1948152] Review Request: rust-ena - Union-find, congruence closure, and other unification code