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 don't think this is a problem we should be particularly concerned about, because presently you can't make manual implementations of closure traits *at all* and no one seems to miss it, and it's probably not going to be done very frequently anyways.