Reader writer state

On our way to getting the RWS monad going.