add import/export of tactic sets