Syntax definition csn

Description: Extend class notation to include singleton.

	Ref	Expression
Assertion	csn	$$class\left\{A\right\}$$