Syntax definition cvrmd

Description: Extend class notation with free monoid injection.

	Ref	Expression
Assertion	cvrmd	class varFMnd