[equal] 未解释函数证明项初步实现；修复equal.c中一个隐患
clean
目录结构调整，废除resolve