This is most trivial, and of course a billion ways to work around, however:

Given a symbol:
auto a = Symbol::Variable("my_super_name") // could be any symbol

How do I retrieve the name of the symbol:
std::cout << a.GetName() << std::endl;

Somehow I cannot find the methods to allow this, nor any examples.