fix(frontends/lean/parser): segfault when ending scope without opening, fixes #244
fix(frontends/lean/parser): segfault when ending scope without opening, fixes #244