Free variables after last usage

[zirconium-n]

@jumpnbrownweasel

We already have braces to control scope

Well, scope can't handle this:

fn foo() {
   let a = // A large vector;
   // computation
   let b = // Another large vector;
   // computation
   drop(a);
   // computation
   drop(b);
}