I think match statements should have an explicit `end` terminator or something so that you can nest them naturally.

It’s unneeded.

You can explicitly delimit any expression in Ocaml by using begin … end or parentheses. It works for everything including match statements which are expressions. So you are already free to use an explicit end statement if you are so inclined.