 []
} <i><span style='color:#898887;'>// Note we omitted `;' here.</span></i>

<i><span style='color:#898887;'>// The separator `;' is optional in situations where the ensuing token cannot be</span></i>
<i><span style='color:#898887;'>// interpreted as a start of a term (in the simplified grammar above `let' starts</span></i>
<i><span style='color:#898887;'>// a statement).</span></i>

<b><span style='color:#000000;'>let</span></b> sum = \lst {
   <b><span style='color:#000000;'>let</span></b> aux = \lst \a