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..."