TyMoRe This repository contains sources of the monadic framework for type based refactorings which is a joint work with Jurgen Vinju. To be committed soon...