Par is a restriction category
	modified:   Categories.agda
	new file:   RestrictionPar.agda
	modified:   Stable.agda