Add ability to alpha-rename quantified variables in equalities.