Pin the protocol monad to STM

I really like the idea of a pure wire protocol implementation and might
revisit that later, but to get an MVP it's much easier to use STM in the
core, since all interface impementations are going to use it anyway.