refactor(frontends/lean/elaborator): do not save/restore cache
feat(frontends/lean/elaborator): cleanup and remove unnecessary code
feat(frontends/lean/elaborator): cleanup and remove unnecessary code