minor refactorings of my 8-queens implementation after code review with Tom
symbolic differentation now works with arbitrary numbers of arguments to + and *
cleaning up code for ex2.57, moving most back to symbolic_math.rkt
symbolic differentiation of infix-notation equations
ex 2.59 and ex 2.60