Add simple unification.