proving that the meet for the delay monad is actually a meet
	modified:   Monads/Delay.agda
	modified:   Order.agda
	modified:   RestrictionDelay.agda