Refactoring semantics: t+