Refactor Loader to not touch ModuleSymbol; better API

Propagate to ModuleVisitor family.
Rename 'module' to 'moduleSymbol' when referencing ModuleSymbol objects.