Do not functionalize loops in the Lean backend, instead use Lean's `for`

[clementblaudeau]

As all rust computation is happening within a do block, we could use Lean for loops instead of translating them to Hax folds.