Binding occurence of regions and syntactic sugar `with region`

Since the language construct `region r { ... }` has a binding occurrence for `r`, I would find it more consistent to write `region { r => ...}`.

Moreover, I would like to have `with` syntactic sugar for regions: `with region r; ...` should translate to `region { r => ... }`.