Need some way to rollback unification…

Next attempt: switch to pure map stored in mutable reference.
Bump