Comment out test-inductive
Reimplement graph using most recent paper
Explicitly import prelude, hiding pi
Finish incremental updates of deltas