feat(compiler): Allow redeclaring services (and abilities) [LNG-360]

[InversionSpaces]

Description

Add support for redeclaring imported services in an aqua module.
Example:
import1.aqua:

aqua Import1 declares Srv

service Srv("srv-id"):
  call()

import2.aqua:

aqua Import2 declares Import1.Srv

use "import1.aqua"

main.aqua:

aqua Main

export main

use "import2.aqua"

func main():
  Import2.Import1.Srv.call()

Implementation Details

Gather all services in AquaContext to pass them to FuncRaw.

Checklist

• Corresponding issue has been created and linked in PR title.
• Proposed changes are covered by tests.
• Documentation has been updated to reflect the changes (if applicable).
• I have self-reviewed my code and ensured its quality.
• I have added/updated necessary comments to aid understanding.

Reviewer Checklist

• Tests have been reviewed and are sufficient to validate the changes.
• Documentation has been reviewed and is up to date.
• Any questions or concerns have been addressed.

[linear]

LNG-360 Implement redeclaration of services

[InversionSpaces]

@DieMyst Note that important changes are allServices in AquaContext and .reverse in ValuesAlgebra. Everything else is tests or refactor.