用于已使用模块的只读变量

目前,内置模块和用户空间模块之间存在很大的区别(这在我的理解中没有在文档中明确解释):在用户空间模块中,任何导出的变量都可以由下游模块进行写入,这会影响其他后续导入同一模块的模块。即使是 `@use` 中无法配置的变量也是如此。另一方面,内置模块导出的变量(例如 `math.$pi`)是不可变的。