Inferring type of zero-sized collection from usage

[sky_khan]

That = Changing type of variable on runtime or infer type of variable to apply 
optimizations. Maybe because I'm old but I'd prefer to see type of variable 
where it's declared. I just dont see the point of this kind of inference for 
Nim.