refactor!: consistently separate ShareDataOps from NeighborValuesOps

[nicolasfara]

This PR fixes a trait clash caused by a previous refactoring where two ShareDataOps traits were defined with different aims.

Rationale

AggregateFoundation defines an abstract ShareData representing a data structure produced in the context of an aggregate program. Such a data structure, according to this definition, is abstract. In ShareDataOps, we provide two functionalities: one to retrieve the local value from such a structure, and one for getting the neighbors' values.

In FieldBasedShareData such ShareData is further refined to the concept of Field. Indeed, it requires additional functionalities that are specified in NeighborValuesOps, which defines several methods to combine and operate with such a data structure.

[codecov]

Codecov Report

❌ Patch coverage is 81.48148% with 5 lines in your changes missing coverage. Please review.
✅ Project coverage is 65.79%. Comparing base (843ce8a) to head (1835f1b).

Files with missing lines	Patch %	Lines
...unibo/scafi/language/xc/FieldBasedSharedData.scala	81.48%	5 Missing ⚠️

Additional details and impacted files

@@            Coverage Diff             @@
##           master     #164      +/-   ##
==========================================
- Coverage   65.80%   65.79%   -0.01%     
==========================================
  Files          49       48       -1     
  Lines         693      690       -3     
  Branches       58       57       -1     
==========================================
- Hits          456      454       -2     
+ Misses        237      236       -1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[cric96]

I'm confused right now: why before we had "AggregateFoundation" and then "FieldBasedSharedData"?

[mergify]

Hi @nicolasfara! 👋
This pull request has conflicts 😖
Could you fix it? 🔧
Thank you! 🙏

[nicolasfara]

I'm confused right now: why before we had "AggregateFoundation" and then "FieldBasedSharedData"?

This is because the Field-specific methods are now available as extension methods on the class FieldBasedSharedData.
For this reason we cannot simply rely on Aggregate foundation, but on FieldBasedSharedData since it enables such extension methods

[cric96]

I would then not call that lang