Resolve qualified members in any position in the inheritance chain

This changes how the internal scope for contracts is laid out. Instead of
linking everything (state vars, functions, parent bases) to the lexical scope,
this is now done to an internal node, which then links to the lexical scope. The
lexical scope also contains the path to apply any dynamic scope changes set in
the contract (eg. any `using` directives).

crates/solidity/inputs/language/bindings/rules.msgb

@@ -305,14 +305,13 @@ inherit .lexical_scope
   ; be accessed)
   node internal
   attr (internal) push_symbol = "@internal"
-  edge heir.lexical_scope -> internal
   edge heir.internal -> internal
   edge internal -> @type_name.push_begin
 
   ; Base members can also be accessed qualified with the base name (eg. `Base.something`)
   node member_pop
   attr (member_pop) pop_symbol = "."
-  edge heir.lexical_scope -> @type_name.pop_begin
+  edge heir.internal -> @type_name.pop_begin
   edge @type_name.pop_end -> member_pop
   edge member_pop -> member
   ; Qualified access should also allow us to bind internal members of the parent contract
@@ -358,9 +357,11 @@ inherit .lexical_scope
   node @contract.state_vars
   node @contract.internal
 
-  edge @contract.lexical_scope -> @contract.members
-  edge @contract.lexical_scope -> @contract.type_members
-  edge @contract.lexical_scope -> @contract.state_vars
+  edge @contract.lexical_scope -> @contract.internal
+
+  edge @contract.internal -> @contract.members
+  edge @contract.internal -> @contract.type_members
+  edge @contract.internal -> @contract.state_vars
 
   ;; Modifiers are available as a contract type members through a special '@modifier' symbol
   node modifier

crates/solidity/testing/snapshots/bindings_output/contracts/qualified_parent_call/generated/0.4.11-failure.txt → crates/solidity/testing/snapshots/bindings_output/contracts/qualified_parent_call/generated/0.4.11-success.txt

@@ -27,5 +27,5 @@ References and definitions:
    │         ──┬─ ───┬───  
    │           ╰─────────── ref: 1
    │                 │     
-   │                 ╰───── unresolved
+   │                 ╰───── ref: 2
 ───╯