- <td class="snns plane orange">local env. ref. for extended substitution</td>
- <td class="snns file orange">lsuby ( ? ⊑×[?,?] ? )</td>
- <td class="snnn file orange">lsuby_lsuby</td>
- <td class="snnn file orange">
+ <td class="snns top italic yellow">support for multiple relocation</td>
+ <td class="snns top yellow">mr2 ( @⦃?,?⦄ ≡ ? )</td>
+ <td class="snnn top yellow">mr2_plus ( ? + ? )</td>
+ <td class="snnn top yellow">mr2_minus ( ? ▭ ? ≡ ? )</td>
+ <td class="ssnn top yellow">mr2_mr2</td>
+ </tr>
+ <tr>
+ <td class="snns top capitalize italic orange">substitution</td>
+ <td class="snns top italic orange">structural successor for closures</td>
+ <td class="snns top orange">fquq ( ⦃?,?,?⦄ ⊐⸮ ⦃?,?,?⦄ )</td>
+ <td class="snnn top orange">fquq_alt ( ⦃?,?,?⦄ ⊐⊐⸮ ⦃?,?,?⦄ )</td>
+ <td class="snnn top orange">