add Bool::negate, avoid usage like x.not()

[Yoorkin]

We will introduce the not x syntax to avoid the illusion of LLM. For any code written like not(x) or not x, it will not break, except for x.not(). This PR remove usage like x.not() in core and introduces the Bool::negate method.

[coveralls]

Pull Request Test Coverage Report for Build 4210

Details

• 14 of 14 (100.0%) changed or added relevant lines in 6 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.04%) to 80.85%

---

Totals
Change from base Build 4204:	0.04%
Covered Lines:	4509
Relevant Lines:	5577

---

💛 - Coveralls

[Yoorkin]

#1330