Other (traditional) definition of iteration for the Delay monad. Trying to prove equivalence between the two definitions.
	modified:   RestrictionDelay.agda