Syntax definition cfix

Description: Declare the syntax for the fixpoints of a class.

	Ref	Expression
Assertion	cfix	class Fix 𝐴