Anagram unification