Syntax definition ccoa

Description: Extend class notation to include composition for arrows.

	Ref	Expression
Assertion	ccoa	$$class{comp}_a$$