Soundness with proper quotients. DONE.
	modified:   PartialMaps.agda
	modified:   Soundness.agda