Syntax definition cfld

Description: Extend class notation with the class of all fields.

	Ref	Expression
Assertion	cfld	$$class\mathrm{Fld}$$