Syntactic support for grouped local definitions

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.
