Unboxed closures

A relatively complete description of by reference closures that aims to encompass entirety of current thinking, except for bound lifetimes.

cc @pcwalton
Indeed. I too prefer this syntax. I hadn't thought about the benefits of extending it more broadly to type aliases.