tidied up the partial map cat def by introducing shorthands for the quotient operations.
	modified:   PartialMaps.agda