Type check match expressions
Merge pull request #6 from jkrems/invalid-match-types

Type check match expressions