more refactoring.
	modified:   Categories.agda
	modified:   Completeness.agda
	modified:   MonicClasses.agda
	modified:   PartialMaps.agda
	modified:   PastingLemmas.agda
	modified:   Pullbacks.agda
	modified:   PullbacksLemmas.agda
	modified:   RestrictionCat.agda