Syntax definition csdm

Description: Extend class definition to include the strict dominance relation (curly less-than)

	Ref	Expression
Assertion	csdm	$$class\prec$$