FWIW, I worked on a switch/case for Python about ten years ago and abandoned the effort because it reached a dead-end.

Without the ability to mark variables as constants, a switch-case can't implement an efficient jump table. And without a jump table, a switch/case statement is merely syntactic sugar for an if/elif/elif chain.