[Pitch] Allow operator functions to have extra arguments with default values

[SimplyDanny (Danny Mösch)]

There has been some discussion around this topic in another thread in a wider scope, i.e. supporting default parameters on getters, setters, operators, protocol requirements, ... But it stopped at some point without a real consensus.