Partial map categories with proper quotients DONE.
	modified:   PartialMaps.agda