Add Prime_enumset.compl.
Prime_enummap, Prime_enumset: Document new functions.