Syntax definition caiota

Description: Extend class notation with an alternative for Russell's definition of a description binder (inverted iota).

	Ref	Expression
Assertion	caiota	$$class\iota$$