Replaced thunks with explicit links.

Radul's thesis made the network structure opaque; only thunks contained
information about connectivity. I think a better idea is to reify the
thunks to objects, and treat sets (arrays) of those objects are material
to query. We can, for example, ensure that RDP networks are valid by
guaranteeing that sets of links are acyclic and have one writer per
cell.