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

(binary:application/pdf)