`recv` from `network-simple-sockaddr` is already lifted
Add documentation
Add inline pragmas
Specify lower version bound for dependencies
Add module top level doc
Precise git location