Check for exhaustiveness in patterns.
Fix most tests.

    Matching constants is still buggered.