Syntax definition citco

Description: Extend the definition of a class to include iterated functions.

	Ref	Expression
Assertion	citco	class IterComp