Syntax definition cshi

Description: Extend class notation with function shifter.

	Ref	Expression
Assertion	cshi	$$class\mathrm{shift}$$