Syntax definition cproset

Description: Extend class notation with the class of all prosets.

	Ref	Expression
Assertion	cproset	$$class\mathrm{Proset}$$