Document Prime_enumset and Prime_enummap.