fix unify and unifier