refactor(library/tactic/apply_tactic): remove dead code
refactor(library/tactic/apply_tactic): reuse type_checker object
refactor(kernel/expr): tag expressions at "creation" time
refactor(frontends/lean): minimize the use of 'set_tag'
feat(bin/linja): remove redundant flycheck item starting with "failed to add declaration"

Close #247