What I’m asking for is basically just sum types. In my mind the behavior of switch would be totally unchanged unless you use an enum as the subject.

If there are possible values you don’t want to handle that’s totally fine, you just need to be explicit about it by having a blank default handler or similar.