Rust Printer: refactor the Lean backend to use `PrettyAst`

[W95Psp]

The Lean backend currently implements pretty::Pretty directly.
With #1603, Printers need to implement the trait PrettyAst rather than implementing multiple instances of the pretty::Pretty trait.

(I need this issue to refer it in the code)