Syntax definition cigen

Description: Extend class notation with the ideal generation function.

	Ref	Expression
Assertion	cigen	$$class\mathrm{IdlGen}$$