Syntax definition cchn

Description: Extend class notation with the class of (finite) chains.

	Ref	Expression
Assertion	cchn	class ( .< Chain A )