Factorize optional homomorphism type.
Better text outputs for saturation_intersection and saturation_sum.
More tests.