object
  method arity : int
  method compute : Lang.F.term list -> Lang.F.term
  method descr : string
  method filter : Lang.F.term list -> bool
  method group : string
  method id : string
  method title : string
end