I could change the loader to use another class that uses a couple of different visitors one for the modules and one for the type assertions.  Right now though the loader gets the dependencies before the transformations occur so we would need to do something similar with utilizing a visitors.  I wasn't sure that we would want to add additional visitors to the loader dependency pass because that would result in additional passes through the parsed tree.