[cthonicthulu]

This is pretty neat -- is there any way to extend this to tree transformations to make this a tool for refactoring?

[jierenchen]

Thanks!

Yes, that's part of the ultimate vision. The challenge will be figuring out how to represent these transformations.