Instantiate constrained types as well as universally quantified types when unifying with a unification variable.