file reorganization
	modified:   Categories.agda
	new file:   Categories/Epis.agda
	new file:   Categories/Idems.agda
	new file:   Categories/Isos.agda
	new file:   Categories/Monos.agda
	renamed:    Pullbacks.agda -> Categories/Pullbacks.agda
	renamed:    PastingLemmas.agda -> Categories/Pullbacks/PastingLemmas.agda
	renamed:    PullbacksLemmas.agda -> Categories/Pullbacks/PullbacksLemmas.agda
	new file:   Categories/Sections.agda
	modified:   Completeness.agda
	renamed:    PartialDelay.agda -> DelayMonad.agda
	modified:   Functors.agda
	modified:   MaybeMonad.agda
	modified:   MonicClasses.agda
	modified:   PartialMaps.agda
	modified:   RestrictionCat.agda
	new file:   RestrictionDelay.agda
	renamed:    PartialMaybe.agda -> RestrictionMaybe.agda
	renamed:    RestrictionPar.agda -> Soundness.agda
	renamed:    RestrictionCat.agda -> SplitRestCats.agda
	modified:   Splits.agda
	modified:   Stable.agda
	renamed:    Equality.agda -> Utilities.agda