Add Prime_enumset.