Unify ModificationApplyOperation.toString()