operator traits: deprecated operator++(bool) is now correctly handled (has_{pre,post}_increment<bool>::value==false