Include formalization of graphs in paper

[samm82]

The formalization of the theory of my graphs from #135 is GREAT content for our paper and should also appear there (reused from my thesis), but I shouldn't get caught up in how to do this.