Formalized concurrent-tcp-server as a distributable library.