Looks like class URI will do nicely.

If we return a URI, the proxy_server.string gives us a guaranteed well-formedresult.

It's not a big deal - but it helps the user in giving a bit mote type safety (we can have a postcondition that the scheme is http or https, perhaps.