hash codes of symbols, part 2

We also changed the hash codes of strings, so here we fix a test.