Syntax definition cwlks

Description: Extend class notation with walks (i.e. 1-walks) (of a hypergraph).

	Ref	Expression
Assertion	cwlks	class Walks