Syntax definition cadds

Description: Declare the syntax for surreal addition.

	Ref	Expression
Assertion	cadds	Could not format assertion : No typesetting found for class +s with typecode class