Allow contract state to include different

[someone235]

Language Behavior Changes

• validateOutputStateWithTemplate no longer accepts inline state object literals directly. Assign the value to a typed struct variable first so the compiler can use that struct layout.

TargetState next = {y: 0x3412, x: x + 1, targetHash: targetHash};
validateOutputStateWithTemplate(0, next, prefix, suffix, templateHash);

• Nested struct field paths are preserved during template validation, so fields with the same leaf name under different nested structs remain distinct.

      contract M(int initLeft, int initRight) {
          struct Left {
              int id;
          }

          struct Right {
              int id;
          }

          Left left = {id: initLeft};
          Right right = {id: initRight};

          entrypoint function route() {
              State next = {
                  left: {id: 3},
                  right: {id: 4}
              };
              validateOutputState(0, next);
          }
      }