Spiderize: transform lax non-monogamous, cyclic open hypergraph into an acyclic monogamous one

[statusfailed]

Write a function to transform an OpenHypergraph<O, A> into an OpenHypergraph<O, Spider<A>>.

This should guarantee acyclicity and monogamicity of the resulting open hypergraph.

[statusfailed]

Merged in #34