changing more bind to bind2
checkpointing
substituting more bind2 for bind
fixing bind for cons
working on new definition of return
whew!  The implementation may be a bit ugly, but monads seem to behave "properly," now...
tweaked boolean monads to return unit and list to ellide unit so we can use bind for list comprehensions
fixing monad mixing
fixing orgSupport to evaluate results properly, renaming bindIOish to subbind