Finalise type of nested action graphs.
Start of definition of evaluation of nested graphs.