Add a [ModuleName] parameter to toCore.