nonempty 0.9.0

Correct by construction non-empty vector
Documentation