规则目录[#128]

ruleo把数学规则目录公开为关系，参数依次是名称、类别、适用模式与docstring：

(query (name modes documentation)
  (ruleo name 'differentiate modes documentation))

math-rule->content把规则名转成文章内容（结构化模式与说明），因此文档与运行时目录来自同一份定义。详见规则查询。