Initial draft
Merge remote-tracking branch 'nikomatsakis/box-not-special'
RFC 43