replace netcat with socat

# original
ProxyCommand nc -v -x 127.0.0.1:7890 %h %p
# new
ProxyCommand socat - PROXY:127.0.0.1:%h:%p,proxyport=7890
# new with verbose
ProxyCommand socat -v - PROXY:127.0.0.1:%h:%p,proxyport=7890

The type hierarchy in TypeScript