nonempty 0.7.0

Correct by construction non-empty vector
Documentation