Initial commit

A relatively complete description of by reference closures that aims to encompass entirety of current thinking, except for bound lifetimes.

cc @pcwalton
There was a good suggestion for how these traits can inherit: https://github.com/rust-lang/rfcs/pull/97#issuecomment-44680119