Getting rid of ax2
	modified:   Everything.agda
	modified:   Monads/Delay.agda
	modified:   PartialMaps/Cat.agda
	modified:   Utilities.agda