Please add support for the TypeIs special form from PEP 742. Pytype support would help enable us to use the new feature in typeshed.

I am willing to work on this myself, but I might need some help getting the tests to run; when I last tried to build pytype locally, CMake didn't work.