chore(frontends/lean/elaborator): fix field name
refactor(frontends/lean/elaborator): expose elaborator class
refactor(frontends/lean/elaborator): expose elaborator class