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