Syntax definition ccurf

Description: Extend class notation with the currying of a functor.

	Ref	Expression
Assertion	ccurf	$$class{curry}_F$$