> I don't know if there are any existing refactoring tools for Clojure, but there certainly could be.

Maybe, but they would be imprecise and they would require developer supervision. When the tool doesn't have any types, it can't reason about the code accurately.

Here is an article that explains why in more depth:

http://beust.com/weblog/2006/10/01/dynamic-language-refactor...