e relied on.</span></i>

<i><span style='color:#898887;'>/* The brackets {} and () are used to embrace expressions so</span></i>
<i><span style='color:#898887;'>   that they will be treated as single terms.</span></i>
<i><span style='color:#898887;'>   Brackets introduce a new scope for identifiers.</span></i>
<i><span style='color:#898887;'>   The body of a lambda-abstraction is a single term (see the grammar).</span></i>
<i><span style='color:#898887;'>   E.g. `\x x a' is the same as `(\x x) a', not `\x (