ADDED: JSON output: serialize #(Text) terms as a string.   This
allows us to use atoms for strings in the `dict' mode.