Better error messages for pattern match typos

[andrew-johnson-4]

match x (
   ()
   (Pair( x y )) ( ... )
)

vs 

match x (
   ()
   (TPair( x y )) ( ... )
)

will encounter an error during preprocess instead of typecheck