fix(library/tactic/expr_to_tactic): memory leak
fix(frontends/lean/tokens): typo
fix(frontends/lean/tokens): typo