Expanded monadic API, converted requests-simple to IB monad, refactored socket service