Prime_enummap, Prime_enumset, Prime_retraction: Add is_empty.
Improve test_enummap.ml.
Prime_retraction: Check values returned by merge callbacks.