Add map and mapi to Prime_enummap.
Add union and isecn to Prime_enumset.
Add for_all and exists to Prime_enummap and Prime_enumset.
Prime_enumset: Simplify cat, not clear the old was more optimal.
Prime_enumset, Prime_enummap: Add filter.