Start correcting quotients in Soundness.agda. Proved R1 and R2.
	modified:   Completeness.agda
	modified:   PartialMaps.agda
	modified:   Soundness.agda