It’s good to go forward with some preliminary syntax, so that we have something to implement in a compiler and something concrete to play with.
We absolutely are not done with the syntax, or even semantics or scope. We only achieved the first step. Now we need to iterate. @plevold why don’t you write down some examples how things could work. @everythingfunctional why don’t you meet with @plevold in a better time slot, so that he can be involved?