Syntax definition cvrgp

Description: Extend class notation with free group injection.

	Ref	Expression
Assertion	cvrgp	class varFGrp