Add a final unification step

Since solving matched implicits may help solve remaining problems.