Improve simplify to add an assertion it is idempotent, and fix a case where it wasn't
Fix primes up and add it to the working list
Tweak up the debug messages in supercompile
More iterations for digits-of-e2
Work towards a working Queens program, not there yet