Tidying up theory of nested action graphs.

Still need to define a notion of nested action graph size.