Implement merge_graph with generic graph evaluation constant.
Recast datadeps$evalG to be an instance of genEvalG.

Also move a generic proof about how changing iteration numbers (more
abstractly, node identifiers) shouldn't affect the result of graph
"evaluation".