Monad morphisms in Monads.agda, alternative definitions of weak bisimilarity in Monads/Delay.agda, moved quotients to Zero.agda
	modified:   Monads.agda
	modified:   Monads/Delay.agda
	modified:   Monads/Delay/Order.agda
	modified:   Monads/Delay/Zero.agda