[Bug][Compiler-v2] Diemframework cannot be compiled by V2

[rahxephon89]

🐛 Bug

When compiling experimental package in third_party/move/documentation/examples/diem-framework/move-packages/experimental using V2, following errors are raised:

    ┌─ /Users/tengzhang/aptos-core/third_party/move/documentation/examples/diem-framework/move-packages/experimental/../core/sources/configs/DiemSystem.move:286:27
    │
286 │         if (config_ref == &new_validator_config) {
    │                           ^^^^^^^^^^^^^^^^^^^^^

error: expected `|vector<MultiToken::TokenData<TokenType>>|?1` but found `u64`
    ┌─ /Users/tengzhang/aptos-core/third_party/move/documentation/examples/diem-framework/move-packages/experimental/sources/MultiToken.move:163:28
    │
163 │             invariant i <= len(gallery);
    │                            ^^^^^^^^^^^^

error: expected `|vector<MultiToken::Token<TokenType>>|?1` but found `u64`
    ┌─ /Users/tengzhang/aptos-core/third_party/move/documentation/examples/diem-framework/move-packages/experimental/sources/MultiTokenBalance.move:103:28
    │
103 │             invariant i <= len(gallery);
    │                            ^^^^^^^^^^^^

[rahxephon89]

Close this one because #11737 and #11738 has more detail