Higher-ranked trait bounds

A description of higher-ranked trait bounds, which is the remaining piece needed to make unboxed closures equal to normal closures.