Switch expression

A Java switch form that exhaustively selects a branch and produces a value.