Syntax definition ccoll

Description: Extend class notation with the collection operation.

	Ref	Expression
Assertion	ccoll	class ( F Coll A )