Edit: I actually rewrote it to https://github.com/anandijain/cas8.rs to have Exprs be reference counted (makes it much faster), but all of the documentation is on the first link