New definition of bind for the delay monad (that uses lift_2)
	modified:   Monads/Delay.agda