Syntax definition cvrmd

Description: Extend class notation with free monoid injection.

	Ref	Expression
Assertion	cvrmd	$$class{var}_{\mathit{FMnd}}$$