I can imagine a new control statement with this type of syntax:

  code
  code
  uses (a, b, c, d) {
    code
    code
  }
  more code
  more code

It's a block that defines the variables it uses, with no other access to the outer scope. It would help break up a linear function into blocks with clearer dependencies.