Syntax definition ctcl

Description: Extend class notation to include the transitive closure symbol.

	Ref	Expression
Assertion	ctcl	class t+