Document and deprecate PortNum

This resulves #83
Add Haddock for MkSocket fields
Merge branch 'issue148' of https://github.com/Rufflewind/network