directed hypergraphs