修正公理文档中存在的问题以及部分bug修正

修正公理文档中存在的问题
修正原子列表求值问题
修正栈引用lisp的确定问题
调整求值器框架
修正栈代码拷贝过程误触发反引用
修正引用中不正确的反引用现象