> Тип bool однозначно и очевидно переводится в машинное число. Но не это

только в твоих фантазиях. В машине нет никакого bool.

> главное. В Си есть логические операции, но работают они с числами!

потому что в процессоре есть логические операции, и работают они - вот удивительно - с числами. jz и jnz совершенно все равно какое там число, если оно не ноль.

> Вот это поначалу обескураживает.

Тебе лучше программировать на php.

> то я отвечу, что в Си есть структуры. И это, согласитесь,
> куда более высокоуровневая штука, чем этот бедный bool.

Нет, ни разу. Это просто набор смещений для указателя на область памяти. Т.е. вполне отображаемый на архитектуру компьютера синтаксический сахарок.
В отличие от "bool", которого не существует в принципе.

Если эти вещи тебе не очевидны еще со школьных уроков информатики - продолжай программировать на php. js боюсь покажется тебе слишком сложным и непонятным с его 1+1.