fix(tests/lean/interactive): modify to reflect recent changes
fix(frontends/lean): universe variable is treated as parameter inside section, fixes #283
chore(library/tactic/expr_to_tactic): fix compilation warning
chore(library/tactic/expr_to_tactic): fix compilation warning