[WIP] Fix issues with module system and declarations#981

Copilot wants to merge 1 commit intomodule_systemleanprover-community/physlib:module_systemfrom

copilot/sub-pr-977-againleanprover-community/physlib:copilot/sub-pr-977-againCopy head branch name to clipboard