[Typing-sig] Re: Adding `typing.reveal_type`

I stand corrected. I thought these were both part of PEP 484, but you're correct that they were added later by mypy. As Jelle said, they are both well known and used pretty extensively in code samples within the typing world. The benefit of having them implemented is to allow these samples to run in the interpreter. If there's good reason not to add these two functions to `typing`, a reasonable fallback is to add them to `typing_extensions`.