rename 'proto' to 'domain' where necessary

To avoid confusion with the actual protocol argument to socket()