Yes, the names line up because they're translated 1:1 right now.
There should never be any problem with non-global symbols since those won't need renaming. I mentioned in the day 14 stream that once we add support for packages we'll prefixing generated global symbols in the C code with the package name. I still don't think that'll be too confusing. Probably 99% of global symbols are functions and you'll mostly be seeing their renamed symbols on the call stack where the prefixing is self-explanatory. For global variables, as the programmer using the debugger, you have to know that it's happening and take it into account when typing names into watch expressions--it should just be a minor inconvenience. For what it's worth, the same issue exists when debugging C++ code with namespaces. The debugger isn't namespace scope aware, so watch expressions that reference symbols in a C++ namespace have to use the fully qualified namespace path, e.g. foo::bar::baz rather than baz.