ModuleScope: Modify findTopLevelNames to use Reader/Writer instead of State