Syntax definition cmnd

Description: Extend class notation with class of all monoids.

	Ref	Expression
Assertion	cmnd	class Mnd