[Python-ideas] Re: Add "Slice" type to typing module