[move][move-compiler] Provide name suggestions when resolution fails (#24016)

## Description 

Introduces suggestions for module and alias name resolution in the Move
compiler when naming fails.

Suggestion is via a filtered list of candidates, with a hand-tuned
Levenshtein implementation to try to be somewhat performant when looking
for a candidate.

There are a lot of heuristics in place around when to suggest a name and
what kind, which I am sure can use tuning and adjustment based on usage
experience and feedback.

### Smaller changes:

* Improved error location reporting in CLI output for duplicate module
definitions, giving more precise spans in `args.exp`.
* Refactored `aliases.rs` to add clearer sectioning for type
definitions, traits, and implementations, and imported additional types
for improved clarity and maintainability.
* Added a convenience method `module_name` to `ModuleIdent_` for easier
access to module names.

## Test plan 

Tests were changed, and new output was hand-reviewed. Some specific
suggestion tests were added.

---

## Release notes

Check each box that your changes affect. If none of the boxes relate to
your changes, release notes aren't required.

For each box you select, include information after the relevant heading
that describes the impact of your changes that a user might notice and
any actions they must take to implement updates.

- [ ] Protocol: 
- [ ] Nodes (Validators and Full nodes): 
- [ ] gRPC:
- [ ] JSON-RPC: 
- [ ] GraphQL: 
- [ ] CLI: 
- [ ] Rust SDK:

Author: cgswords

crates/sui/src/unit_tests/snapshots/sui__upgrade_compatibility__upgrade_compatibility_tests__additive.snap

@@ -3,28 +3,28 @@ source: crates/sui/src/upgrade_compatibility/../unit_tests/upgrade_compatibility
 expression: normalize_path(err.to_string())
 ---
 error[Compatibility E01007]: missing declaration
-  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ enum 'EnumToRemove' is missing
+  │        ^^^^^^^^^^^^^^^^^^ enum 'EnumToRemove' is missing
   │
   = Enums cannot be removed or changed during an 'additive' or 'dependency only' upgrade.
   = Add missing enum 'EnumToRemove' back to the module 'upgrades'.
 
 error[Compatibility E01007]: missing declaration
-  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ function 'function_to_remove' is missing
+  │        ^^^^^^^^^^^^^^^^^^ function 'function_to_remove' is missing
   │
   = Functions cannot be removed or changed during an 'additive' or 'dependency only' upgrade.
   = Add missing function 'function_to_remove' back to the module 'upgrades'.
 
 error[Compatibility E01007]: missing declaration
-  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/additive_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ struct 'StructToRemove' is missing
+  │        ^^^^^^^^^^^^^^^^^^ struct 'StructToRemove' is missing
   │
   = Structs cannot be removed or changed during an 'additive' or 'dependency only' upgrade.
   = Add missing struct 'StructToRemove' back to the module 'upgrades'.

crates/sui/src/unit_tests/snapshots/sui__upgrade_compatibility__upgrade_compatibility_tests__all.snap

@@ -3,19 +3,19 @@ source: crates/sui/src/upgrade_compatibility/../unit_tests/upgrade_compatibility
 expression: normalize_path(err.to_string())
 ---
 error[Compatibility E01001]: missing public declaration
-  ┌─ /fixtures/upgrade_errors/all_v2/sources/UpgradeErrors.move:6:18
+  ┌─ /fixtures/upgrade_errors/all_v2/sources/UpgradeErrors.move:6:8
   │
 6 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ enum 'EnumToBeRemoved' is missing
+  │        ^^^^^^^^^^^^^^^^^^ enum 'EnumToBeRemoved' is missing
   │
   = Enums are part of a module's public interface and cannot be removed or changed during a 'compatible' upgrade.
   = Add missing enum 'EnumToBeRemoved' back to the module 'upgrades'.
 
 error[Compatibility E01001]: missing public declaration
-  ┌─ /fixtures/upgrade_errors/all_v2/sources/UpgradeErrors.move:6:18
+  ┌─ /fixtures/upgrade_errors/all_v2/sources/UpgradeErrors.move:6:8
   │
 6 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ struct 'StructToBeRemoved' is missing
+  │        ^^^^^^^^^^^^^^^^^^ struct 'StructToBeRemoved' is missing
   │
   = Structs are part of a module's public interface and cannot be removed or changed during a 'compatible' upgrade.
   = Add missing struct 'StructToBeRemoved' back to the module 'upgrades'.

crates/sui/src/unit_tests/snapshots/sui__upgrade_compatibility__upgrade_compatibility_tests__declarations_missing.snap

@@ -3,19 +3,19 @@ source: crates/sui/src/upgrade_compatibility/../unit_tests/upgrade_compatibility
 expression: normalize_path(err.to_string())
 ---
 error[Compatibility E01001]: missing public declaration
-  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/enum.move:4:18
+  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/enum.move:4:8
   │
 4 │ module upgrades::enum_ {
-  │                  ^^^^^ enum 'EnumToBeRemoved' is missing
+  │        ^^^^^^^^^^^^^^^ enum 'EnumToBeRemoved' is missing
   │
   = Enums are part of a module's public interface and cannot be removed or changed during a 'compatible' upgrade.
   = Add missing enum 'EnumToBeRemoved' back to the module 'enum_'.
 
 error[Compatibility E01001]: missing public declaration
-  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/func.move:4:18
+  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/func.move:4:8
   │
 4 │ module upgrades::func_ {
-  │                  ^^^^^ public function 'fun_to_be_removed' is missing
+  │        ^^^^^^^^^^^^^^^ public function 'fun_to_be_removed' is missing
   │
   = Public functions are part of a module's public interface and cannot be removed or changed during a 'compatible' upgrade.
   = Add missing public function 'fun_to_be_removed' back to the module 'func_'.
@@ -30,10 +30,10 @@ error[Compatibility E01001]: missing public declaration
   = Restore the original function's 'public' visibility for function 'fun_to_lose_public'.
 
 error[Compatibility E01001]: missing public declaration
-  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/struct.move:4:18
+  ┌─ /fixtures/upgrade_errors/declaration_errors_v2/sources/struct.move:4:8
   │
 4 │ module upgrades::struct_ {
-  │                  ^^^^^^^ struct 'StructToBeRemoved' is missing
+  │        ^^^^^^^^^^^^^^^^^ struct 'StructToBeRemoved' is missing
   │
   = Structs are part of a module's public interface and cannot be removed or changed during a 'compatible' upgrade.
   = Add missing struct 'StructToBeRemoved' back to the module 'struct_'.

crates/sui/src/unit_tests/snapshots/sui__upgrade_compatibility__upgrade_compatibility_tests__deponly.snap

@@ -3,19 +3,19 @@ source: crates/sui/src/upgrade_compatibility/../unit_tests/upgrade_compatibility
 expression: normalize_path(err.to_string())
 ---
 error[Compatibility E01010]: new declaration
-  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ New unexpected enum 'NewEnum'.
+  │        ^^^^^^^^^^^^^^^^^^ New unexpected enum 'NewEnum'.
   │
   = Enums cannot be added during a 'dependency only' upgrade.
   = Remove the enum 'NewEnum' from its module.
 
 error[Compatibility E01010]: new declaration
-  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ New unexpected function 'new_function'.
+  │        ^^^^^^^^^^^^^^^^^^ New unexpected function 'new_function'.
   │
   = Functions cannot be added during a 'dependency only' upgrade.
   = Remove the function 'new_function' from its module.

crates/sui/src/unit_tests/snapshots/sui__upgrade_compatibility__upgrade_compatibility_tests__version_mismatch.snap

@@ -1,12 +1,12 @@
 ---
-source: crates/sui/src/unit_tests/upgrade_compatibility_tests.rs
+source: crates/sui/src/upgrade_compatibility/../unit_tests/upgrade_compatibility_tests.rs
 expression: normalize_path(result.unwrap_err().to_string())
 ---
 error[Compatibility E01008]: file format version downgrade
-  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:18
+  ┌─ /fixtures/upgrade_errors/deponly_errors_v2/sources/UpgradeErrors.move:4:8
   │
 4 │ module upgrades::upgrades {
-  │                  ^^^^^^^^ Downgrading from file format version 1 to 0 is not supported.
+  │        ^^^^^^^^^^^^^^^^^^ Downgrading from file format version 1 to 0 is not supported.
   │
   = File format version downgrades are not supported.
   = Please upgrade to the latest version of the move language tooling.

external-crates/move/crates/move-analyzer/tests/dot_calls.snap

@@ -5,7 +5,7 @@ source: crates/move-analyzer/tests/ide_testsuite.rs
 -- test 0 -------------------
 use line: 3, use_ndx: 0
 Use: 'Self', start: 19, end: 23
-Def: 'M1', line: 0, def char: 17
+Def: 'Move2024', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Move2024::M1
@@ -43,7 +43,7 @@ public fun Move2024::M1::foo(
 -- test 4 -------------------
 use line: 4, use_ndx: 0
 Use: 'M1', start: 29, end: 31
-Def: 'M1', line: 0, def char: 17
+Def: 'Move2024', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Move2024::M1
@@ -81,7 +81,7 @@ public fun Move2024::M1::foo(
 -- test 8 -------------------
 use line: 27, use_ndx: 0
 Use: 'M1_ALIAS', start: 12, end: 20
-Def: 'M1', line: 0, def char: 17
+Def: 'Move2024', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Move2024::M1
@@ -100,7 +100,7 @@ public fun Move2024::M1::bar(
 -- test 10 -------------------
 use line: 27, use_ndx: 2
 Use: 'M1', start: 39, end: 41
-Def: 'M1', line: 0, def char: 17
+Def: 'Move2024', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Move2024::M1
@@ -129,7 +129,7 @@ public fun Move2024::M1::bar(
 -- test 13 -------------------
 use line: 30, use_ndx: 0
 Use: 'M1', start: 16, end: 18
-Def: 'M1', line: 0, def char: 17
+Def: 'Move2024', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Move2024::M1

external-crates/move/crates/move-analyzer/tests/implicit_uses.snap

@@ -18,7 +18,7 @@ public struct Option<Element> has copy, drop, store {
 -- test 1 -------------------
 use line: 8, use_ndx: 2
 Use: 'option', start: 26, end: 32
-Def: 'option', line: 4, def char: 12
+Def: 'std', line: 4, def char: 7
 TypeDef: no info
 On Hover:
 module option

external-crates/move/crates/move-analyzer/tests/imports.snap

@@ -5,7 +5,7 @@ source: crates/move-analyzer/tests/ide_testsuite.rs
 -- test 0 -------------------
 use line: 2, use_ndx: 0
 Use: 'M9', start: 16, end: 18
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -15,55 +15,55 @@ module Symbols::M9
 -- test 1 -------------------
 use line: 8, use_ndx: 0
 Use: 'M1', start: 17, end: 19
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 2 -------------------
 use line: 9, use_ndx: 0
 Use: 'M1', start: 17, end: 19
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 3 -------------------
 use line: 9, use_ndx: 1
 Use: 'ALIAS_M1', start: 23, end: 31
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 4 -------------------
 use line: 10, use_ndx: 0
 Use: 'M1', start: 18, end: 20
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 5 -------------------
 use line: 10, use_ndx: 1
 Use: 'BLAH', start: 24, end: 28
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 6 -------------------
 use line: 10, use_ndx: 2
 Use: 'M2', start: 30, end: 32
-Def: 'M2', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M2
 
 -- test 7 -------------------
 use line: 10, use_ndx: 3
 Use: 'BLEH', start: 36, end: 40
-Def: 'M2', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M2
@@ -91,15 +91,15 @@ public struct Symbols::M2::SomeOtherStruct has drop {
 -- test 10 -------------------
 use line: 33, use_ndx: 0
 Use: 'M1', start: 21, end: 23
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 11 -------------------
 use line: 33, use_ndx: 1
 Use: 'ANOTHER_ALIAS_M1', start: 27, end: 43
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1

external-crates/move/crates/move-analyzer/tests/macros.snap

@@ -183,7 +183,7 @@ $T
 -- test 16 -------------------
 use line: 33, use_ndx: 0
 Use: 'macros', start: 16, end: 22
-Def: 'macros', line: 0, def char: 15
+Def: 'Macros', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Macros::macros
@@ -314,7 +314,7 @@ ERROR: No use_line 22 in mod_symbols UseDefMap(
                 col_end: 23,
                 def_loc: Loc {
                     file_hash: "6c258978e645dea8faaf2f91e67b30b04a67c3d338d7ad7edb927a49a7291cae",
-                    start: 15,
+                    start: 7,
                     end: 23,
                 },
                 type_def_loc: None,
@@ -362,7 +362,7 @@ ERROR: No use_line 22 in mod_symbols UseDefMap(
                 col_end: 22,
                 def_loc: Loc {
                     file_hash: "6148171bd349df74f3ece996d9b5e08173125155fdeed36451c03a5a33616168",
-                    start: 15,
+                    start: 7,
                     end: 21,
                 },
                 type_def_loc: None,

external-crates/move/crates/move-analyzer/tests/mod_access.snap

@@ -5,7 +5,7 @@ source: crates/move-analyzer/tests/ide_testsuite.rs
 -- test 0 -------------------
 use line: 19, use_ndx: 1
 Use: 'M9', start: 32, end: 34
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -15,7 +15,7 @@ module Symbols::M9
 -- test 1 -------------------
 use line: 20, use_ndx: 0
 Use: 'M9', start: 17, end: 19
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -25,7 +25,7 @@ module Symbols::M9
 -- test 2 -------------------
 use line: 20, use_ndx: 3
 Use: 'M9', start: 55, end: 57
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -35,7 +35,7 @@ module Symbols::M9
 -- test 3 -------------------
 use line: 23, use_ndx: 2
 Use: 'M9', start: 34, end: 36
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -45,7 +45,7 @@ module Symbols::M9
 -- test 4 -------------------
 use line: 24, use_ndx: 0
 Use: 'M9', start: 21, end: 23
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9
@@ -55,31 +55,31 @@ module Symbols::M9
 -- test 5 -------------------
 use line: 28, use_ndx: 2
 Use: 'M1', start: 34, end: 36
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 6 -------------------
 use line: 28, use_ndx: 4
 Use: 'ALIAS_M1', start: 51, end: 59
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 7 -------------------
 use line: 34, use_ndx: 1
 Use: 'ANOTHER_ALIAS_M1', start: 17, end: 33
-Def: 'M1', line: 0, def char: 16
+Def: 'Symbols', line: 0, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M1
 
 -- test 8 -------------------
 use line: 34, use_ndx: 3
 Use: 'M9', start: 57, end: 59
-Def: 'M9', line: 5, def char: 16
+Def: 'Symbols', line: 5, def char: 7
 TypeDef: no info
 On Hover:
 module Symbols::M9