The subtyping relationships relating to defaulted arguments might be similar to my pitch.
An investigation into implemented either one of these pitches would also likely be able to access the ease of implementing the other. It's worth keeping that in mind.