mirage: generate code to listen on network devices
mirage-types: add `ip` method to UDP, TCP