Add additional representations: higher-order 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 higher-order rewriting.