Syntax definition csr

Description: Extend class notation with class of all *-rings.

	Ref	Expression
Assertion	csr	class *-Ring