switch expression

A switch that gives back a value, with cases written pattern => value. It must cover every possible value, often using _ as the catch-all.