complete Ipaddr interface
simply types
Trivial clean-up of @hhugo's interface completion