Pre-pitch: remove the implicit initialization of Optional variables

I'm 100% behind this. It's causing a lot more damage than it's helping improve language ergonomics. And a side effect of this is the mental model for auto-synthesized inits being all over the place. It's possibly my number one pet peeve in the language at the moment.