restored synt sugar for maybe + start state

broken tests here!!!
partial implementation chainable state

bind returns a f(state). it should return a monad!!!
partial implementation chainable state
completed chainable state monad

still necessary to invoke bind explicitly