Move findi constant from wavefronts to indexedLists theory
Prove (what I think is) important theorem about taking dags apart.
Start to try to characterise links in DAGs.