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