Static Type Checker for Tensors

This is a fork of Pyright with added features beyond accepted typing PEPs to support typed tensors.

What is extra?

• Multiple Unpackings of Type Arguments
• Type Transformations of Variadic Type Variables
• Subscriptable Functions
• Static Type Programming (Type Macros)

There is more to be added in future. Refer to MyPyright on GitHub for more details.