fix(frontends/lean/elaborator): nested begin-end bug
fix(frontends/lean/elaborator): nested begin-end bug