>> Upon more reflection, the implicit `with` should only enclose >> the case expression, not the other statements in the switch >> body. How does this not complicate the lookup logic? Most of the time there is only 1 statement below each case, so having different lookup rules for every second line inside a `switch` expression feels... weird 😕