Make unification robust to a boxy type variable meeting itself