Handle coercions in unification