Implement Solidity binding rules

[ggiraldez]

This is an umbrella issue to track progress on the implementation and pending issues in binding rules for Solidity.

In progress or already started but on hold for now:

• Infrastructure for built-in units, types, variables and functions Add support to resolve bindings to built-in functions, types and variables #1101
• Complete list of built-in types, global variables and functions

Pending:

• Resolving calls to function overloads, with different or the same number of parameters.
• Resolving operators for user defined types to their bound functions.

Completed:

• Contract constructors Constructors, interfaces, this scope, getters and virtual modifiers #1102
• Contract getters for public state variables Constructors, interfaces, this scope, getters and virtual modifiers #1102
• Support this scope Constructors, interfaces, this scope, getters and virtual modifiers #1102
• Support modifiers inheritance and virtual lookup Constructors, interfaces, this scope, getters and virtual modifiers #1102
• Interface inheritance Constructors, interfaces, this scope, getters and virtual modifiers #1102
• Support for using ... for Support for bindings resolution of using ... for directives #1103
• Add a perf test to measure/report constructing and querying bindings Add performance tests for bindings API #1100
• Contract inheritance Binding rules to support contract inheritance #1075
• Resolution of virtual methods and multiple inheritance (C3 linearisation) Binding rules to support contract inheritance #1075
• Modifiers, fallback and receive functions Modifiers, named arguments calls, resolution of call outputs #1090
• Named arguments for function calls, events and custom errors Modifiers, named arguments calls, resolution of call outputs #1090
• Call options Modifiers, named arguments calls, resolution of call outputs #1090
• Ensure all expression nodes have an .output node connected to the type Modifiers, named arguments calls, resolution of call outputs #1090
• Inline Assembly Binding rules for inline assembly #1087
• Constants Add binding rules for arrays, mappings and other types #1082
• Arrays and mappings Add binding rules for arrays, mappings and other types #1082
• User-defined value types Add binding rules for arrays, mappings and other types #1082
• Function types Add binding rules for arrays, mappings and other types #1082
• Control statements (ie. if/else, for, while, etc) Implement binding rules for control statements #1076
• Top-level definitions
• Contracts, libraries and interface definitions
• Imports
• Function and arguments definitions
• Basic expressions
• Member access expressions
• Blocks and statements
• Variables and state variable declarations
• Tuples and tuple deconstruction statements
• Enums & Structs
• Type expressions