 | $. &lt;expr&gt; | $.. &lt;program&gt;</span></i>
<i><span style='color:#898887;'>   &lt;lambda&gt; ::= \&lt;ident&gt; &lt;term&gt; | \&lt;ident&gt; . &lt;expr&gt; | \&lt;ident&gt; .. &lt;program&gt;</span></i>
<i><span style='color:#898887;'>   &lt;if&gt; ::= if &lt;expr&gt; then &lt;expr&gt; else &lt;expr&gt;</span></i>
<i><span style='color:#898887;'>   &lt;match&gt; ::= match &lt;expr&gt; with [|] &lt;match-branches&gt;</span></i>
<i><span style='color:#898887;'>   &lt;match-branches&gt; ::= &lt;expr&