Syntax definition cwlim

Description: Declare the syntax for well-founded limit class.

	Ref	Expression
Assertion	cwlim	class WLim ( 𝑅 , 𝐴 )