Add a when clause to the switch expression's cases
Add support for binding the switch expression (but not decision tree)
Implement flow analysis for switch expression
Adjust precedence of the constant pattern in a switch expression arm.