Progress on import chasing:

I think I finally have implemented correctly the routine to compute the
available exports from a module after imported (that is, what's left in
scope after processing an `import A(...)' or an `import A hiding(...)')