context as graph root

Generalise graph representation: instead of a node, the root of a graph
is a context.