feat(proof-lib/lean): Rename the `Result` monad into something not used by Rust

[clementblaudeau]

The Result monad used in the Lean backend is confusingly named the same as the Result type of Rust. We should change the former to something not used in Rust to avoid confusion and name clashes.