fixed bug in mappendTaylor
about to make big changes
Finally got the History monad figured out; the optimization framework is getting much cleaner; still a bug where the version in IO is not fully lazy