Rename unifiable to equal.