Syntax definition wnfc

Description: Extend wff definition to include the not-free predicate for classes.

	Ref	Expression
Assertion	wnfc	wff Ⅎ 𝑥 𝐴