chore: remove old versions of the sym tactic, and rename the new sym1_n tactic to sym_n

chore: remove old versions of the sym tactic, and rename the new sym1_n tactic to sym_n #784