fix(frontends/lean): squiggle position for unary begin-end block