Features from optional dependencies

nonempty implicit feature

Enables nonempty ^0.7

nonempty:

Correct by construction non-empty vector