Add imports functionality

[KyrylR]

Motivation

The main goal of this PR is to enable an analogue of the OpenZeppelin library to exist in the SimplicityHL ecosystem. By introducing official compiler support for imports, we significantly increase code reusability and speed up application development. For projects heavily focused on security, this also allows developers to eventually "flatten" the code and audit all functions without external dependencies.

Checklist

• Visibility: Added pub and pub use to control local scope versus re-exporting.
• Import Syntax: Implemented parsing and resolution for use m::name; and explicit aliasing (as).
• Collision Handling: Enforced strict errors for local scope collisions, utilizing C3 linearization for resolving re-export conflicts.
• Transitive Dependencies: Add support for libraries importing other libraries.
• Documentation: Сode comments are updated accordingly.
• Quality Assurance: Code is formatted, all tests pass, and CI shows no errors.

Related PRs (in order of the merge): #260, #256, #265, #266

[KyrylR]

Reopened instead of #258

[apoelstra]

026c0ff needs rebase