[Python-ideas] Re: Allow writing optional types as ?int