Refactoring tools developed as part of Emerson Murphy-Hill's PhD work.