Improve unification error message