Unboxed closures

A relatively complete description of by reference closures that aims to encompass entirety of current thinking, except for bound lifetimes.

cc @pcwalton
I did say that byref/byvalue is not the best wording for this.
The vtable optimization for one method is specific to `&Trait` and `&mut Trait`, it's not an universal optimization by any means.