Added diffeq.clj with some sketches of ideas for a symbolic calculus system.