Add additional representations: graph rewriting

[joshrule]

In the same way that the crate currently has lambda calculus, TRSs, and PCFGs, it would be cool to explore learning in some other representations, including graph rewriting, where the objects being rewritten aren't trees but unrestricted graphs.