[SPEC] Specification of Superfluid Protocol

[hellwolf]

As a Superfluid Protocol stakeholder, I'd like to see the foundational tech used by Superfluid protocol gaining more legitimacy by getting more serious in its design decisions and being more formal in its specification.

To achieve this, these steps are being taken in 2022 Q2:

• spec-haskell project, where concepts are better defined and simulation and test environments are being built.
  • Milestone spec-haskell@0.1.0 - Pipelines built
  • Milestone spec-haskell@0.2.0 - Ready to share
• Publish generated yellow paper (a byproduct from spec-haskell project).
• Extend olive branches to known academics in e-money space to make the case that Superfluid protocol has the potential be a formal subject.