An Infrastructure to Support Meta-Differencing and Refactoring of Source Code