Explicit subnetworks via HGraph.

Reifying programs this way lets us add and remove entire blocks of
functionality, which will surely come in handy in the future.

In the future, I'm looking at an HGraph subclass (say, HTree) that
enforces a hypertree structure on its hyperarcs, for use with RDP
networks.