initial tightening up of sanity tests, using new functional equality semantics on transpositions/exponentials. Not all fixed