New Delay stuff
	modified:   Monads/Delay.agda
	modified:   Monads/Delay/Decision.agda
	modified:   Monads/Delay/Independence.agda
	modified:   Monads/Delay/Iteration.agda
	modified:   Monads/Delay/Joins.agda
	modified:   Monads/Delay/Meets.agda
	modified:   Monads/Delay/Order.agda
	modified:   Monads/Delay/Products.agda
	modified:   Monads/Delay/Zero.agda
	modified:   Order.agda
	modified:   RestrictionDelay.agda
	new file:   RestrictionProducts.agda