[Backport releases/v4.25.0] chore: more module system fixes and refinements for finishing batteries port#10873

Kha merged 1 commit intoreleases/v4.25.0leanprover/lean4:releases/v4.25.0from

backport-10819-to-releases/v4.25.0leanprover/lean4:backport-10819-to-releases/v4.25.0Copy head branch name to clipboard