added permutation simplification to the simplifier; this makes the simplifier more powerful, but it potentially loops more often

no_document use_thys
   ["Nominal2",
    "Atoms",
    "Eqvt"
   ];