*does not compile* Rename all has been implemented for terms, however it relies on RenameAll for types, which has not been declared or implemented yet