Prime_retraction: Add for_all and exists.
Add Prime_retraction.cut.
Prime_enumset: Tweak.
Add Prime_retraction.filter.
Prime_retraction: Add finter, funion, and fcompl.
Prime_retraction: Add compare and equal.
Prime_retraction: Fix finter.
Add unit test for Prime_retraction.