A library for refactorization. (cheetah and python, currently)