Types make it much, much easier to write useful refactoring tools, and to verify that the tools did the right thing.