kind variables

[cetio]

applied to variables and only require being applied at the declaration initially, inferring functionality elsewhere, requires type inference?

kind:heap int foo = 6;

bar(foo);

void bar(int a)
{
    // ...
}