general design question: we'd like to be able to make arbitrary HTTP requests from an

@rule

, and this implies that we'd need an intrinsic and a pair of new types

HttpRequest

and

HttpResponse

, that would work sort of like the existing

UrlToFetch

intrinsic, but more general