文章中的可执行定义[#67]

• 片段、计划与实例：模块导入、源码写法、装配、展示、实例化和.scm输出。
• 文章内定义与核验：真实Scheme函数、结果预期，以及transclude不重复执行的含义。
• 算术解释器与简化器：通过解释语义理解重写规则、有限性质和错误路径。

结果值、性质谓词和异常key回答不同的问题。示例中的ID是可引用的内容身份，预期值是作者对程序行为的断言；名称和断言都应明确到能够单独阅读。