[incepted]

You missed "automated" in "automated refactorings". This is what I'm talking about.

Without types, IDE's can't perform automated refactorings: you need to supervise them and make sure the IDE didn't break code.

This can't happen with static types.

[montibbalt]

It makes manual refactoring easier too in the sense that you now have a tool that can tell you what you broke and how to fix it.

[ubernostrum]

Without types, IDE's can't perform automated refactorings

This is your obligatory reminder that the entire concept of automated refactoring was first developed in a dynamically-typed language.