Editorial: dedupe and isolate modules traversal logic

This commit deduplicates the logic that is currently both in InnerModuleLinking
and InnerModuleEvaluation, clearly splitting what logic is relative to traversing
the graph and what is relative to actually linking/evaluating modules.

Author: nicolo-ribaudo