fix(frontends/lean): `begin-end` automatic tactic notation bug, fixes #262
fix(frontends/lean): `begin-end` automatic tactic notation bug, fixes #262