Syntax definition cfuc

Description: Extend class notation to include the functor category.

	Ref	Expression
Assertion	cfuc	class FuncCat