Josef

I am against duplication of effort. However, since C++ was suggested, I have to suggest another language: [Rust](https://www.rust-lang.org/) Rust is a nice middle ground between C++ and C#. Rust pros...

I also vote for `enum` similar to rust `enum`. But prefer `data` instead of `object` similar to python and kotlin `dataclass`. Object and Type are extremely abstract keywords that suggest...

What about *Interaction Calculus*, *Σ calculus* or *σ calculus*. I am not sure lambda without scope should be still called lambda.