Syntax definition cprf

Description: Extend class notation with the functor pairing operation.

	Ref	Expression
Assertion	cprf	$$class{⟨,⟩}_F$$