Update WTBool.h