introduced QSpan, renaming span specific quotient stuff
	modified:   Completeness.agda
	modified:   PartialMaps.agda
	modified:   Soundness.agda