CEK机器，一些问题（创建封闭，减少环境）

Question

我对实现CEK抽象机有一些疑问。

有关其描述，请参见图1（第2页）的论文"Pycket: A Tracing JIT For a Functional Language"。

1. 应用函数（第4条规则）时，我认为我们应该根据参数创建一个闭包。还有其他需要创建闭合的规则吗？
2. 我读到，为避免内存泄漏，我们必须在创建闭包时减少环境，这意味着删除表达式中所有非空闲变量。还有其他需要减少环境的规则吗？
3. 哪种数据结构最能代表环境，从而有效地创建闭包？
4. 您能推荐任何详细介绍有效实施CEK机器的资源/书籍吗？