Changed and added specs.
massaged a specification in solver.sml a bit