式を解釈するが，評価はしない：

選択にマッチする場合には，評価はされない：

デフォルトで副作用のない式だけが使える：

これは，Allの記号を使うことで，変更することができる：

記号のリストに限る：

デフォルトでは.新しい記号は$Contextで作成されるが，カスタムのコンテキストを指定することもできる：

使用できる出力記号のコンテキストを指定する：

新しい記号が作成されないようにする：