Network.Socket: Added CustomSockOpt data constructor for SocketOption