moving things around, cleaning up
about to switch things up...
small step and big step both working.  widening by interleaving transformers in stack working as well.
Merge branch 'master' of https://github.com/dvanhorn/monadic-eval