Syntax definition cmgm

Description: Extend class notation with class of all magmas.

	Ref	Expression
Assertion	cmgm	class Mgm