An implementation of the untyped lambda calculus in Rust