+ <td class="snns top green">frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? )</td>
+ <td class="ssnn top green">frees_weight frees_drops frees_fqup frees_frees</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic green">
+ <br />
+ </td>
+ <td class="snns top italic green">restricted ref. for local env.</td>
+ <td class="snns top green">lsubr ( ? ⫃ ? )</td>
+ <td class="ssnn top green">lsubr_length lsubr_drops lsubr_lsubr</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic grass">s-computation</td>
+ <td class="snns top italic grass">iterated structural successor for closures</td>
+ <td class="snns top grass">fqus ( ⦃?,?,?⦄ ⊐* ⦃?,?,?⦄ )</td>
+ <td class="ssnn top grass">fqus_weight fqus_drops fqus_fqup fqus_fqus</td>
+ </tr>
+ <tr>
+ <td class="nnns top capitalize italic grass">
+ <br />
+ </td>
+ <td class="nnns top italic grass">
+ <br />
+ </td>
+ <td class="snns top grass">fqup ( ⦃?,?,?⦄ ⊐+ ⦃?,?,?⦄ )</td>
+ <td class="ssnn top grass">fqup_weight fqup_drops fqup_fqup</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic yellow">s-transition</td>
+ <td class="snns top italic yellow">structural successor for closures</td>
+ <td class="snns top yellow">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
+ <td class="ssnn top yellow">fquq_length fquq_weight</td>