clean up

- rename "Graph" -> "Dag"
- the old Graph module is now DagSimple, GraphFree is DagFree, and
  GraphFreeNonEmpty is Dag
- changed the benchmarks and examples from the paper accordingly