[Typing-sig] Re: typing.Never (was: Exhaustiveness checking in match statements)

I'm a +100 on this the current name makes no sense to newbies (and myself until like a month ago) outside of return types, seeing x: NoReturn makes no sense whereas x: Never is much clearer as to whats actually going on. This is also something pyright already does.