Syntax definition ccatc

Description: Extend class notation to include the category Cat.

	Ref	Expression
Assertion	ccatc	class CatCat