SETL/E Renaming