Hi, and congrats on the registration! I love the design so far.
Is there a way to implement directed graphs at the moment? From what I can tell, an edge or hyper-edge has no notion of where it comes from or where it goes to. Perhaps it would be feasible by switching to a "directed bipartite graph" between vertices and edges, with utilities like link_to!(g, e, v) and link_from!(g, u, e)?