Add Prime_map.split_union.
Prime_enumset, Prime_enummap: Add equal and compare.
Add Prime_enummap.split_union.
Prime_enumset, Prime_enummap: Add cut.