More general results about hierarchical DAGs.

Including the gflatten function, which lifts all nodes to the
top-level, and more theorems about merge (g₁ ⊕ g₂).