Adding the unify method for pseudo-thingies. This should be the last case.