Alpha renaming in kaplansky