Merge pull request #151 from puffnfresh/name-mangling

Use pretty name mangling, e.g. '~' becomes "$tilde"
Mangle '$' identifier to "$dollar"