Strong type systems give you considerably more information by which to perform a refactoring. A great deal of refactoring can be in dynamic languages, but once you start doing dynamic things, all bets are off.

I see that there is refactoring in JetBrain's Ruby offering. I'm sure it pushes the state of the art in dynamic refactoring. However, I'm also sure it was much harder for them to implement and test :-)