feat(lean): Use `FunctionsToConstants`#1738

clementblaudeau wants to merge 4 commits intomaincryspen/hax:mainfrom

lean-const-resugaringcryspen/hax:lean-const-resugaringCopy head branch name to clipboard