Improving simplifier a bit
Fixing var-replacer -- it was setting variables to non-elimed a stuff
Better comments and code readability
This whole thing should be checked for solver->ok