20070614-2

It seems strange that

 forall {x : a}

and

 forall {x} {y}

are accepted, while

 forall {x : a} {y}

is a parse error.

The same is true for lambda:

  \(x : a) -> \y -> v

is ok, but not

  \(x : a) y -> v

Fixed.