I'm not doing this now because what's imported at the top level isn't nailed down yet (and may never be).
Changed, now that we have a clear notion of programs.