New Delay directory
	new file:   Decision.agda
	new file:   Independence.agda
	new file:   Iteration.agda
	new file:   Joins.agda
	new file:   Meets.agda
	new file:   Order.agda
	new file:   Products.agda
	new file:   Zero.agda
Order induced by restriction

	new file:   Order.agda
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
Merge branch 'master' of https://github.com/jmchapman/restriction-categories into universe-polymorphism

Conflicts:
	Monads/Delay/Decision.agda
	Monads/Delay/Independence.agda
	Monads/Delay/Iteration.agda
	Monads/Delay/Joins.agda
	Monads/Delay/Meets.agda
	Monads/Delay/Order.agda
	Monads/Delay/Products.agda
	Monads/Delay/Zero.agda
	Order.agda
	RestrictionDelay.agda
	RestrictionProducts.agda