adjust check syntax to track which submodule a reference occurs in

so that arrows point to the relevant requires only, not to all requires

this commit also changes the handling of module+ (aka module* w/ #f) so
that it doesn't count as an "inner" module anymore