special types: ipv4-addr etc