working on the completeness theorem
	modified:   Categories.agda
	renamed:    Stable.agda -> PartialMaps.agda
	modified:   RestrictionCat.agda
	new file:   Splits.agda
	modified:   Stable.agda