d;"><a
 href="metashell/introduction.pdf">introduction</a></li>
    </ul>
    <ul>
      <li style="font-weight: bold;">(<small><a
 href="metashell/iff-namespace.pdf"><span
 style="font-family: courier new,courier,monospace;">IFF-IFF</span></a></small>)
&#8211; iff namespace</li>
      <li style="font-weight: bold;">(<small><a
 href="metashell/kind/kind.html"><span
 style="font-family: courier new,courier,monospace;">IFF-KIND</span></a></small>)
&#8211; kind namespace</li>
      <li style="font-weight: bold