> (FWIW, I like the <var>: <type> notation more than any alternative
> proposed so far.)

Me too. :-)

Just wanted to note that the typo

  lamda: int

Becomes syntactically correct. Maybe there are other similar problems.