defining the completeness iso
	new file:   Completeness.agda
	modified:   RestrictionCat.agda
	modified:   Splits.agda