> Нативная поддержка типов, и bool в частности, это не только отсутствие необходимости
> включать заголовочные файлы, а то что сам компилятор о них знает,
> как проверять и оптимизировать.

1) Вообще-то включать хидеры по стандарту для этого надо. С определениями этсамого.
2) И ващет складывать бульоны так никто и не запрещает. Они внутрях мапятся в какой-нибудь integer. НО КОЕ ЧТО ВСЕ ЖЕ ОТЛИЧАЕТСЯ.

Есть простой пример:
uint8_t boolvalue = 0; // false, типа.
...
boolvalue = 256; // ...но готовы ли вы к тому что вот так - тоже false?

А вот если это boolean, любое присвоение которое не ноль по стандарту рубится до 1. И соответственно, вон то - тоже true. Ну, если вы не 0 хотели, очевидно, это было не про false?!

Во всяком случае это - четко определенное и довольно логичное поведение, а не implementation defined (как в компилере, так и в самопальных макро) с более 9000 разных вариантов как это вообще может быть - и таким же колиеством багов, когда идеи кодеров и компилеров о том как это считается не совпали.

> А то, помню ржали над одной поделкой где bool складывали, и это ж работало.

Яваскриптеры наверное. У них такое норма жизни, вплоть до того что +1 и ++ может довольно разные вещи означать =)