Syntax definition crcl

Description: Extend class notation with reflexive closure.

	Ref	Expression
Assertion	crcl	$$class\mathrm{r*}$$