Hi,
as type inference going to be norm I think we need reconsider
diferentiate variable definition and variable assignment operator.

Obvious choice is ':=' for variable definition. It's terse and explicit. Look at this:

for(i := 0, i < 10; ++i)

jovo