Synonym updates following unified search and best bets

Remove synonyms that are no longer needed with recent weighting improvements or can now be handled better through best bets; also reinstate a couple that were causing problems in the past