hmph
stuff compiles with hdevtools
convert symbolString ----> symbolText to get literal consts for Type-Names
Fixing some failing tests
Merge pull request #5 from UCSD-PL/text-symbol

Ran the tests. Nothing new seems to be broken. A few tests still fail but for good reasons.