Check if two expressions are related by variable renaming.
(expression-renamevar old new ren) → _
Old and new expressions must be of the same kind, and have constituents recursively related. Literals must be identical, since they have no variables.
