考虑添加 for-all-2 来解决几个问题

Question

特别是

• {{for-all}} 绑定是并行的，这常常令人惊讶；我认为 {{gen/let}} 样的顺序绑定会更好，我认为（链接：https://en.wikipedia.org/wiki/Universal_quantification 文本：启示性的数学符号）也是顺序的。
• {{for-all}} 允许在体中放置多个表达式，但除了最后一个外，其他的仅执行副作用；我认为这个名字暗示只允许一个体表达式，这会更少引起混淆（例如，TCHECK-121）。

Answer 1

参考：https://clojure.atlassian.net/browse/TCHECK-146（由 gfredericks 报告）