This takes a collection of hyperedge descriptions, such as a-3-C-9, indicating
the hyper-edge containing a,C,3 and 9. It returns the associated hypergraph.
This is different from the graph version; in essence, this would be the
same as constraining the graph version to require all the argumenst to be
pairs. There is no way to produce chains, as in the graph version.