Mostly completed CompilingPatternMatching.

Still TODO:

* As-patterns on constructor patterns.
* Guards (now incomplete).