Second monad law for the delay monad proved. Working on the third.
	modified:   Monads/Delay.agda
	modified:   Utilities.agda