Improve name-printing on unification mis-matches, when types share a common occurrenc...