Codecs for JsonReaderExceptions, JsonTokens, and JsonEvents