renaming the fixpoint version of exprUnify.