Syntax definition cufil

Description: Extend class notation with the ultrafilters-on-a-set function.

	Ref	Expression
Assertion	cufil	class UFil