Syntax definition cinl

Description: Extend class notation to include left injection of a disjoint union.

	Ref	Expression
Assertion	cinl	$$classinl$$