Re: [Typer] Case handling

The current implementation can support nested patterns (but dont). The new one cant. Nevertheless, the new approach would prevent us from seeing a constructor as a pexp. I am not sure if we lose in generality that much and I think the code will be greatly reduced.

`pexp` should disappear "shortly", so I don't think it's worth the trouble.

Stefan