Added a file to document and typecheck freedom's tcpsocket constants