Syntax definition ccid

Description: Extend class notation with the identity arrow of a category.

	Ref	Expression
Assertion	ccid	class Id