for o being OperSymbol of MaxConstrSign holds
( o is constructor iff o in Constructors )