A library for λ-term manipulation in Rust