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'