more haskell primitives; expanded examples
reset cleanup; add more reset examples
clean comments, clear out reset zoo, update types
refactor with doubly-parameterized StateT, ContT
use IxCont instead of IxContT, for recursive scope
split off prelude for monad-rebinding functions
case expr instead of conditional; prevent inf loop
cleaning; debug neg; rel clauses; update examples
add ixmonad fragment