修改了构造函数，isCopy设置默认值为true
修改了加非非的操作，以及fix量词中漏考虑函词的bug