Rough draft.
Adopt ```rust``` fences
Emphasize effect of subtyping rules
Merge remote-tracking branch 'nikomatsakis/hrtb'
Higher-ranked trait boundS