Added type alias Unifier.LubAux that allows getting a Unifier with a user-provided LUB