Automatic transformation of `Vec<()>` to `usize`

[ptal]

Idem than #51 but the generated code could be optimized by not constructing the vector and using just a counter. We need to architecture things to keep the core system simple. It needs more thinking.