Я уже и забыл, что когда-то такой вопрос задавал. Было интересно перечитать спустя 3 года

Вообще я последних года 2 почти с javascript не сталкивался, но всё же времени прошло достаточно, что бы понять логику поведения этого языка.
Типы приводятся ровно в обратном порядке, чем я предполагал. А направление приведения типов при сравнении следующее, исходя из поведения:
boolean->number->string->(array/object)

При чём я не разобрался как сравниваются массивы с объектами, но предполагаю что такое сравнение всегда возвращает false (вообще в таком сравнения смысла не вижу)

Сравнение чего-либо с undefined - это получение информации о присутствии значения по указанному имени (по указателю). И тут даже реализация простая может быть: существует ли переменная и не указывает ли она на адрес 0x0.

Так что всё оказалось куда проще, чем думалось изначально.