Use decoded names

Rather than just using the nameString of a symbol we now use the
decoded names. E.g. euqals is now '==' instead of '$eq$eq'

Fixes #1001723