pub fn core_submodule(db: &dyn SemanticGroup, submodule_name: &str) -> ModuleId