Immutable directed and weighted graph primitives with algorithms for traversal, ordering, cycle detection, and reachability.