symbol factory: Add getter for (C++, typically)-mangled name

And test it!