module.ceylonfiles? would they go away entirely?
I agree with ditching runtime aspects of module system. I would keep the compile time (visibility restrictions) of the module system – I believe they offer a very useful design constrint that makes you think hard about your dependencies.
As to how we get to that state … maybe we do need to rip out everything before adding the compile time stuff back in. I don’t really know how, but the intuition says that rip out everything and then re+add only relevant bits sounds like a better and more straight forward plan.