open HetEq and some other things public in Utilities so as to avoid reimporting them elsewhere
	modified:   Categories.agda
	modified:   Categories/Epis.agda
	modified:   Categories/Functors.agda
	modified:   Categories/Idems.agda
	modified:   Categories/Isos.agda
	modified:   Categories/Monos.agda
	modified:   Categories/ProductCats.agda
	modified:   Categories/Products.agda
	modified:   Categories/Pullbacks.agda
	modified:   Categories/Pullbacks/PastingLemmas.agda
	modified:   Categories/Pullbacks/PullbacksLemmas.agda
	modified:   Categories/Sections.agda
	modified:   Categories/Sets.agda
	modified:   Categories/Splits.agda
	modified:   Categories/StrongFuns.agda
	modified:   Completeness.agda
	modified:   Monads/Delay.agda
	modified:   Monads/Delay/Joins.agda
	modified:   Monads/Delay/Meets.agda
	modified:   Monads/Delay/Order.agda
	modified:   Monads/Delay/Products.agda
	modified:   PartialMaps/Cat.agda
	modified:   PartialMaps/MonicClasses.agda
	modified:   PartialMaps/Stable.agda
	modified:   Restriction/Cat.agda
	modified:   Restriction/Delay.agda
	modified:   Restriction/Functors.agda
	modified:   Restriction/Maybe.agda
	modified:   Restriction/Pred.agda
	modified:   Restriction/Products.agda
	modified:   Restriction/SplitRestCats.agda
	modified:   Restriction/Totals.agda
	modified:   Soundness.agda
	modified:   Utilities.agda