Type-variables are not updated according to union-find during unification

[samvv]

Closing this as this is currently not a performance issue. We can monitor the amount of lookups in Solution if this ever becomes a problem.