Add test case for multiple arguments in match case

[01tomislav]

Fixed bug in typechecker (!) pertaining to ordinary match clauses like

A i b => { ... }

We forgot to test the case where there are multiple args (!), but it was an easy fix. We should add a test case like this to our test suite.