Port uproxy-networking to freedom 0.6

Done (with adaptations to make the type system happy).