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