translator to produce better variable names

[xrchz]

Currently the translator renames all variables as vN for numbers N that are kept globally distinct with a counter. It could make more readable code if it used the variable names from the shallow embedding and only introduced a number if necessary to avoid shadowing.

[xrchz]

Easier approach to this would be to keep the vNs but add the original name afterwards too, like v9_foo