refactor(library): move flycheck "helper" classes to separate module
feat(library/tactic): make trace tactic produce 'FLYCHECK' annotations when --flycheck is on