fix(frontends/lean/pp): bug in pretty printer notation match procedure
chore(library/tactic/expr_to_tactic): remove dead code
chore(library/tactic/expr_to_tactic): remove dead code