README updates
massive improvement to derivations, fix for binding op parser, and (hopefully) a fixed reduce_all.