add unification macro