Unboxed closures

@nikomatsakis r?
Rather than this, let's remove all late bound regions from the types when we type-check the closure in the first place (i.e., in `check/mod.rs`). We can replace them with fresh region variables.