pushed the fixtypes refactoring through everything. Reduced typechecking from 38G/55minutes to 14G/25 minutes.
	modified:   Categories/Idems.agda
	modified:   Categories/Splits.agda
	modified:   Completeness.agda
	modified:   PartialMaps/Cat.agda
	modified:   README.md
	modified:   Restriction/Functors.agda
	modified:   Restriction/Totals.agda
	modified:   Soundness.agda
	modified:   Utilities.agda