Post sixth draft of the proposal.

Add support for an unknown bound as the first extent; said bound maps
(both ways) to a zero extent.  Clarify implementation bounds on
zero-sized arrays.  Set requirements on the types for the creation
functions explicitly.  Tweak date.