Syntax definition cufl

Description: Extend class notation with the ultrafilter lemma.

	Ref	Expression
Assertion	cufl	$$class\mathrm{UFL}$$