Complex pattern matches should compile into case trees.

[typeswitch-dev]

Right now we only support very simple pattern matches. The parsing & type checking for more complex patterns is already in place, but the backend is missing -- we need to figure out how to compile complicated pattern matches into simpler case trees for the backend to consume.