add transitive-closure
add add-edge! and add-vertex! functions to gen:graph