Result showing how to equate DAGs created by folding dagAdd.

Essence is to show a bijection between the list elements. This fits
well into the approach taken in the datadeps theory.
Show that the datadeps correctness result is possible using DAGs.

Next task is to define wavefronts for DAGs.