Syntax definition crpss

Description: Extend class notation to include the reified proper subset relation.

	Ref	Expression
Assertion	crpss	$$class[\subset ]$$