Directed Hypergraphs