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