Add a const_iterator to an intersection's operands.
Comments.
Add SaturationIntersection.

Need factorization with SaturationSum.