feat: add module system appendix#514

Kha merged 12 commits intomainleanprover/reference-manual:mainfrom

module-systemleanprover/reference-manual:module-systemCopy head branch name to clipboard