say_namespace summary {
  foreach {x y} {
    f "floating-point"
    ~ "signal"
    \# "grid"
  } {
    say_category basic<$x>
    say ~.do ""
    say ~.norm ""
    say ~.packunpack3 ""
    say ~ ""
    say ~.swap ""
    say ~.taa ""
  }

  say_category interfaces
  proc pu_say {} {
  }

  pu_say  antireflexive {t  } ""
  pu_say  antisymmetric {t  } ""
  pu_say    associative {t  } ""
  pu_say    commutative {t  } ""
  pu_say   distributive {t  } ""
  pu_say    equivalence {t  } ""
  pu_say     invertible {t  } ""
  pu_say partialorder   {t  } ""
  pu_say partialordereq {t  } ""
  pu_say      reflexive {t  } ""
  pu_say   totalorder   {t  } ""
  pu_say   totalordereq {t  } ""
  pu_say     transitive {t  } ""
  pu_say     trichotomy {t  } ""
  pu_say      operator1 {t  } ""
  pu_say      operator2 {t  } ""

  say_category cancellators
  say  associator ""
  say  commutator "ab-ba"
  say distributor ""
  say    invertor ""

  say_category misc
  say twice ""
  say 3times ""
  say 4times ""
  say ^ ""
  say error ""
  say protocols-tree ""
  say tree ""
}