Let's get the semantic around closure fixed.

[Walter Bright]

On 5/19/2021 4:08 AM, deadalnix wrote:
> The notion of loops, immutability, ad closure at colliding with each others. 
> they do not compose because they don't propose a set of invariant which are 
> independent from each other, but, on the other hand, step on each others.

I don't really know what you mean by invariants in this context. Can you 
enumerate what invariants you propose for delegates?