NEW FUNCTIONALITY: Module Rewriter.