Syntax definition ccofu

Description: Extend class notation with functor composition.

	Ref	Expression
Assertion	ccofu	$$class{\circ }_{\mathrm{func}}$$