解释表达式并避免计算：

当匹配选择时未进行计算：

默认为仅允许无副效应的表达式：

该设定可通过允许 All 符号进行变更：

限制符号列表：

默认在 $Context中创建新符号，但是可以指定自定义文本：