Renaming in Metamorphism.agda.