now using derivatives

Main progress is revising eqs (10)-(14) from the .ipynb to use symbolic differentiation instead of (hyperreals) ds, dz and so on. Updated pdf to match the worksheet, so people who aren't using SMC can see what this is about, and added a bit to README.md as well.