Look up type annotations for python 3 and the mypy external type checker.
Static type checking is now a very real thing with modern versions of python.
Additionally it is possible to code the match function to implement the functionality I am talking about during runtime instead of compile time. Definitely not irrelevant.
Maybe, but I'm not sure there's more value in that.