Query operations

The most important basic operations that all queries support are:

• maybe changed after: Returns true if the value of the query (for the given key) may have changed since the given revision.
• Fetch: Returns the up-to-date value for the given K (or an error in the case of an "unrecovered" cycle).