Universe polymorphism type-checks
	modified:   Completeness.agda
	modified:   Functors.agda
	modified:   Monads/PredicatePart.agda
	modified:   MonicClasses.agda
	modified:   RestrictionFunctors.agda
	modified:   Sets.agda
	modified:   SplitRestCats.agda
	modified:   Splits.agda
	modified:   Utilities.agda