Start work on new pattern matching implementation.

    At the moment, it gives useful warnings, so we might as well
    enable it. Later, we'll make it actually generate useful code.