feat(frontends/lean): modify `begin-end` semantics, closes #258