May have implemented renameAway() almost completely, but the free variable case is puzzling for the moment.