moving new quotients to PartialMaps
	modified:   PartialMaps.agda
	modified:   Utilities.agda