Syntax definition cofc

Description: Extend class notation to include mapping of an operation to an operation for a function and a constant.

	Ref	Expression
Assertion	cofc	class ∘f/c 𝑅