Extend argument list syntax (see #66).

Argument lists after lambda and Pi keywords now accept multiple names in
one binder even without parentheses.

Accepted before: lambda (x y z) . lambda (a b : Int) . x
Additionally accepted now: lambda x y z . lambda a b : Int . x