Add a note questioning our handling of tracing information through globals.
Add a note questioning our handling of tracing information through globals.

Currently we do trace through globals.  This isn't exactly correct in
threaded programs, but it also isn't entirely incorrect.  This
requires a bit of thought.

travitch/foreign-inference,travitch/foreign-inference