Syntax definition cons

Description: Declare the syntax for surreal ordinals.

	Ref	Expression
Assertion	cons	class On_s