Syntax definition cnns

Description: Declare the syntax for surreal positive integers.

	Ref	Expression
Assertion	cnns	class ℕs