https://github.com/ldeluigi/scafi-xc/blame/33806758b425648ef352bae0f59af391c0da7b53/commons/src/main/scala/it/unibo/scafi/xc/abstractions/Neighbouring.scala#L3

Make onlySelf available for both F and N.
Add using clause that checks that F <:< N.

• PoC for different syntax combinations and libraries
  • with extensions
  • with implicits args for classes
  • with implicit args for methods
  • with family polimorphism and intersection types
• Implement language
• Add libraries
• Write tests

• Acceptance Test
• Simulation Test
• Lazyness in FieldCalculusSyntax test
• Gradient test
• Gradient + Branching test
• Engine tests
• Libraries tests
• network adapter test
• Overall working test
• More deterministic sim test
• Random sim test

Implicit or explicit (via "lift"?)

• Implicit
• Explicit

Shares values or doesn't?

• Values are shared like in nbr
• Values are not shared, creating a "local field"
  • Local fields are a different type than aggregate values
  • Local fields are aggregate values

idea: generalize the context for all Ts

idea: Abstract given instance of Typeable[AggregateValue] wither in agrgegate foundation or in methods that require it
idea: change the exchange definition to support the union type even at low level
idea: generalize the concept of context for AV

Make it agnostic of the token/values if possible