Speedups.  * Call topLevel simplify only if something has changed. * If there is a symbol on the rhs put it on the lhs, which simplifies more eqns.
Speedups. 
* Call topLevel simplify only if something has changed.
* If there is a symbol on the rhs put it on the lhs, which simplifies more eqns.




kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp,kyledewey/stp