Syntax definition crng

Description: Extend class notation with class of all non-unital rings.

	Ref	Expression
Assertion	crng	class Rng