Unboxed closures

A relatively complete description of by reference closures that aims to encompass entirety of current thinking, except for bound lifetimes.

cc @pcwalton
What I meant by `|int| -> uint` is that we cannot infer within a type context and would therefore have to require explicit annotation there (or else defaults).