The simplification of Switch in Inline_and_simplify needs work. In the case where the scrutinee is a closure we know that any case that is not Closure_tag or Infix_tag cannot match, and we should eliminate them before simplifying the cases.

We should also remove the nonexhaustive match and check the other cases.

I'll probably work on this.