TE recipes: unifier now needs comparators