Refine printing of names in unification mis-match