char encoding

fixes #40

I'm not sure this is the best encoding for chars. Specifically, the JSON encoding is convoluted, possibly too convoluted. At the very least, the escaping/deescaping functions should be from a json library.