improved test cases in type checker, addressed nonexhaustive match warnings in interpreter