Missing validation for operator augmentations

[wrayre]

The datamap validation does not extend to augmentations (attributes beyond the operator name) that are present on the operator.

Example:

sp {propose*new-turn*first-turn
   (state <s> ^superstate nil              
              ^io.input-link.observation <obs>
              ^turns <t>)
   (<t> -^current-turn)
   (<obs> ^turn <turn-num>)
-->
   (<s> ^operator <o> +)
   (<o> ^name new-turn
        ^prior-turn nil)
}

Datamap:

state ^operator 
                ^name new-turn

This combination of production and datamap does not produce an error, even though the datamap lacks the ^prior-turn augmentation.