Fix JSON encoding for Symbols

Resolves #164