Enumset: Rename isecn to inter.
Enummap: Add finter and funion.
Add Prime_enummap.fcompl.