Restrict the type of `Match` children

[ythecombinator]

Description

The idea is to ensure, in compile-time, that Match/Switch children are a subset of the supported matching expressions (e.g. With, When and Otherwise).

I have done research on this and it doesn't seem to be feasible as of now so it's likely that we'll stick with runtime checking.

Resources

• Decouple jsx element type from jsx factory return type and sfc return type microsoft/TypeScript#21699
• Suggestion: type checking for JSX children microsoft/TypeScript#13618
• [Master] Type checking JSX children microsoft/TypeScript#15160