Typechecked expression we're matching over, allowing interpreter to work
properly for match. Also wrote another test case for the interpreter.
Added the TaggedInfo class to encapsulate details about case of and
comprises tags. Added parsing of these constructs to parser. Altered
some tests to use pass properly.
Merged in from Alex's changes.