Refinement in Rust: optimization, arithmetic, and stateful predicates

v0.0.4 of refined has been released