Syntax definition ccofu

Description: Extend class notation with functor composition.

	Ref	Expression
Assertion	ccofu	class ∘func