Incremental computation through constrained memoization for Rust.

Fund this project