Graph simplification example

This example shows how to simplify a graph so only nodes with multiple references have labels, by using a free monad.