Syntax definition crels

Description: Extend the definition of a class to include the relation class.

	Ref	Expression
Assertion	crels	$$class\mathrm{Rels}$$