Unsized types distinct from DSTs

The RFC has been postponed, but the idea is getting developed further: http://internals.rust-lang.org/t/rfc-unsized-types-take-2/1574