明确语义带来可诊断边界[#118]

未知函数可以显示，也可以保留符号偏导；它不会被假装成有限多项式。多项式积分pass会拒绝它，而关系式计算会在有对应规则和前提时继续处理。失败类型告诉作者缺的是输入定义、正则性前提还是算法规则。

有限规则也可以作为逻辑关系查询，参见用miniKanren查询数学规则。