refactor(frontends/lean/elaborator): do not save/restore cache
feat(frontends/lean/elaborator): cleanup and remove unnecessary code
feat(frontends/lean/elaborator): constraints associated with 'proof-qed'
blocks are solved independently, closes #82