Rework unifiers.