Refactoring Operator, related new interfaces, and SimpleRandomMutation