As indicated above, the arguments to a ``general" operator appearing in a Prototype tree are all MP TypeSpecs. Two obvious cases where the need for this arises are in the specification of structures and unions.
