Extensions: refactoring
Extensions: duplicate transformed trees to avoid sharing type trees between module and class