Progress towards the latest layer in action-graph representation cake

Key idea is to enforce well-formedness of nested nodes' read and write lists.