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 ( ℩' 𝑥 𝜑 )