Renames making expr and dexpr constructor-names more similar.

As discussed in meeting.
Minor result: there are only finitely many ids in a graph
A type of label-free DAG with actions for nodes.

Test will be whether or not this type can be used to replay the
reasoning in the datadeps theory.