Syntax definition cseqs

Description: Extend class notation with the surreal recursive sequence builder.

	Ref	Expression
Assertion	cseqs	$$class{seq}_{s}M\left(\underset{\dot{}}{+},F\right)$$