Enable module names to be type aliased

This will be solved by SE-0493, currently in review.