Add Prime_enummap.fpatch.
Add Prime_retraction.contains_elt.
Prime_enummap, Prime_enumset, Prime_retraction: Add fold_rev.
Prime_enumset, Prime_enummap: Optimise fold*.
Prime_enummap: Add succ_binding_o and pred_binding_o.