大规模重写修正bug,增加公理内容

增加一种反引用-隐式引用
增加简单数学计算加 乘 模除
defun可以用了
修正大量bug