Missing validation for ErrorStateToModeMapping.typeToken

[joeseibel]

If a mode mapping refers to a type token, then the validator should check that the type token is contained in the referenced state's type set. The following contains two examples that should fail:

package missing_validation
public
  system s
    modes
      m1: initial mode;
      m2: mode;
    annex EMV2 {**
      use types ErrorLibrary;
      use behavior missing_validation::machine1;

      component error behavior
        mode mappings
          --Error: state2 is not typed
          state2 {ServiceError} in modes (m1);
          --Error: ServiceError is not in the type set of state3
          state3 {ServiceError} in modes (m2);
      end component;
    **};
  end s;

  annex EMV2 {**
    error behavior machine1
      use types ErrorLibrary;
      states
        state1: initial state;
        state2: state;
        state3: state {ItemTimingError};
    end behavior;
  **};
end missing_validation;