simplify, remove commented-out code
add monadish.rkt
monadish.rkt: provide things, add universal monad
simplify monadish defns
add TODO for providing syntax in objects.rkt
add monadish-quasi.rkt