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