Some small changes due to new Agda version. Moreover equivalence between different iteration definitions for maps in the Kleisli cat of the Delay monad.
	modified:   Completeness.agda
	modified:   Functors.agda
	modified:   Monads/Delay.agda
	modified:   Monads/PredicatePart.agda
	modified:   RestrictionCat.agda
	modified:   RestrictionDelay.agda
	modified:   Splits.agda
	modified:   Utilities.agda