products and categories with products
	modified:   Monads/Delay.agda
	new file:   ProductCats.agda
	new file:   Products.agda
	modified:   RestrictionDelay.agda
	new file:   StrongFuns.agda