Add additional representations: conditional 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 conditional rewriting, where each rule can carry additional conditions for application.