R1 completed and R2 almost finished.
	modified:   Monads/Delay.agda
	modified:   Restriction/Delay.agda