update unify with terms