Syntax definition cnat

Description: Extend class notation to include the collection of natural transformations.

	Ref	Expression
Assertion	cnat	$$class\mathrm{Nat}$$