Syntactic support for grouped local definitions

[np]

Internally,

let x = e in
let y = f in
g

... is represented as:

let
  x = e
  y = f
in g

but we have no syntactic support for that.

Notice that the scoping rules are to be defined.