The map `variableType` is global, so it can't distinguish var in different scopes

[z2z23n0]

For example:
If I define a var which named a in function foo, and then I define another var named a in function bar.
In this case, foo::a and bar::a will be same in variableType.

[atlas-comstock]

map[package]map[function]map[variable][value] seems like a good method

[z2z23n0]

Looks like I've got the wrong reason of the bug, the value in maps will update when another var named a is defined.
The real reason is: if last a is a param in another function, it will be decorated as BETTERGOPARAMa, and this var won't be released when it's out of scope.
The bug is in here (translator/expr.go):