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

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