Completely new approach to composition of delays. Now we don't have to abstract on the top level in order to prove restriction axioms (except R4) and other laws we need.
	modified:   Monads/Delay.agda
	modified:   RestrictionDelay.agda