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
Merge pull request #52 from mads379/1001723-use-decoded-names

Use decoded names