Query planner and execution spec

Long-form design document (repo copy, not published in this site):

• Query planner and execution spec on GitHub