Revisit usage of the term `unify` for types

[Veykril]

We use this in a lot of contexts where we expect a unification of a user given type with an expected type, but I believe unification can go both ways and unify the expected type to the user given one would be incorrect, as the expected type is usually unchangeable.