nonempty-collections (cargo): Correct-by-construction non-empty collections.
Keywords: map|nonempty|set|vector