Really interesting. Some of the project inspirations listed are tools to rewrite Clojure source code. Recently I wanted something equivalent for Lua so I started writing one[0]. Refactoring in dynamic languages is harder that in needs to be a lot of times, but static analysis combined with whitespace-preserving ASTs would really help.
Not nearly enough, thought with safety declarations cranked up to 11 (to 3, really) and enough type declarations sprinkled around the code, it becomes serviceable as a tool.
