Syntax definition ccmn

Description: Extend class notation with class of all commutative monoids.

	Ref	Expression
Assertion	ccmn	class CMnd