The dual notion is that of sets of hyperedges such that for no vertex all occurrences are covered; explore this notion.
The notion of "strong independence", that is, independent vertex sets in the 2-section (see Graphs/IndependentSets/plans/general.hpp), perhaps should go to its own module? Definitely the formation of k-sections should go into its own module.