Syntax definition credunds

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

	Ref	Expression
Assertion	credunds	class Redunds