Gibt es einen bestimmten Grund, dass dies die Sprache konzeptionell brechen würde, oder einen bestimmten Grund, dass dies in einigen Fällen technisch nicht durchführbar ist? Die Nutzung wäre mit neuem Betreiber. Edit: Ich werde die Hoffnung aufgeben, meinen "neuen Operator" und "neuen Operator"...