Syntax definition cidfu

Description: Extend class notation with identity functor.

	Ref	Expression
Assertion	cidfu	class idfunc