bugfix: Type improvements on "port" option in Socket and SocketOption…

[kaangokdemir]

The kind of change this PR does introduce

• a bug fix
• a new feature
• an update to the documentation
• a code change that improves performance
• other

Current behaviour

port: string;

New behaviour

port: string | number;

[darrachequesne]

Thanks for this 👍

I'm wondering if it would make sense to remove the string and use only number, like here. WDYT?

[kaangokdemir]

@darrachequesne I'm not sure since the port of browser's location object returns a string. Check that:

https://developer.mozilla.org/en-US/docs/Web/API/Location/port

[darrachequesne]

Well, that makes sense. Thanks!