Syntax definition cslot

Description: Extend class notation with the slot function.

	Ref	Expression
Assertion	cslot	$$class\mathrm{Slot}A$$