Static type checking for match

[lastmjs]

Right now our match function is limited in its static type checking. It will not statically tell you whether or not you have a handler for all keys, will not ensure that the _ is used as a catch-all, and probably more. It would be great if the Kybra match function were just as powerful as the Rust match function, but as least as powerful as Azle's.

What we really want from Python's type hinting system is something like TypeScript's keyof operator or index types. Unfortunately the Python type hinting system seems to just not be powerful enough to do this yet. Here are a number of issues that explore these limitations:

• How to get TypeScript's keyof behavior to type API response from route string python/typing#1280
• Record Types python/typing#685
• Precise typing for TypedDict wrappers python/mypy#7856
• Precise typing for TypedDict wrappers python/mypy#7856 (comment)
• https://peps.python.org/pep-0544/

[lastmjs]

We are looking to remove match entirely