Syntax definition chvm

Description: Extend class notation with vector to dual map.

	Ref	Expression
Assertion	chvm	class HVMap