fix(library/logic/wf_k): missing file
fix(frontends/lean): tactic + section variables, fixes #332