Finalize and document the JSON format for the read interface

[lutter]

The query engine will send queries as abstract syntax trees for the query language defined in the spec

The JSON representation of the AST needs to be defined and documented. Update the spec once that's done.