finished Constant folding v2

对Not和And都进行了常量合并优化。

发现一个大问题：
不支持负数！！！！Lexer要修改。