Syntax definition chlo

Description: Extend class notation with the class of all complex Hilbert spaces.

	Ref	Expression
Assertion	chlo	$$class{CHil}_{\mathrm{OLD}}$$