User-facing tools for networkifying a non-networked model

One can $\Sigma$ migrate a schema into one which has an underlying graph, thereby putting the agents on a network (while none of the rewrite rules take the network structure into account). We can then offer further functionality for automatically enforcing that elements involved in rewrite rules must be $\leq n$ distance apart from each other.

This functionality should be then communicated in a literate code example file.