removed the 'crude' quotient postulate
	modified:   PartialMaps.agda