Add the `exhaustive` prop to `Match`

[ythecombinator]

⚠️ Needs further description.

Description

It should enable exhaustiveness checking, making sure we don't forget any possible case in our Match component.

I'm still not sure whether this one is blocked or not by similar factors (as #2) but my idea is to somehow try to mimic ts-pattern's exhaustive.

Resources

• https://github.com/gvergnaud/ts-pattern/blob/master/src/types/Match.ts#L142