Syntax definition cupwlks

Description: Extend class notation with walks (of a pseudograph).

	Ref	Expression
Assertion	cupwlks	$$class\mathrm{UPWalks}$$