Different modules may be responsible for
(say) topology discovery, routing, load balancing,
and access control. Individual modules register
these policies with the runtime system, which
automatically composes, compiles, and optimizes
them with programmer-specified queries.