More singleton unification