Added more type checking to match statement. Added some error messages
related to the type-checking (and some not). Added more test cases for
the different error messages, and some for the interpreter.