This module is part of StrategyLib, a library of functional strategy
combinators, including combinators for generic traversal. This module
defines combinators that iterate until some kind of fixpoint is reached.