call/input-url - support headers and polymorphism

The types are tweaked to match the contracts and to support passing a list of headers to the connect procedure.

The FIXME for polymorphism has also been removed as it is now parameterized to support "...The result of the handle procedure is the result of call/input-url..."