Implicit promotion of Optional

Nice find but I guess those were "only vague notions." ;) I guess this is called "implicit promotion". Maybe @Ben_Cohen can update his 2014 article now that we is part of the core team. :)

I guess the teams was planning some work in this area.