Type check match expressions