Syntax definition cstf

Description: Extend class notation with the functionalization of the *-ring involution.

	Ref	Expression
Assertion	cstf	class *rf