Syntax definition crtcl

Description: Extend class notation with reflexive-transitive closure.

	Ref	Expression
Assertion	crtcl	$$class\mathrm{t*}$$