>И typeof в ОО-языках - это не просто оператор, который выводит тип якобы только для сведения. Взаимосвязь типов - это не следствие фич оператора typeof, а наоборот, вывод оператора typeof - это следствие взаимосвязи типов (и объектов).

Все так, но в качестве исключения в JS для типа Null выдает строку 'object'.

>Во-первых, при чем здесь null? С null там все в порядке - это объект.

А здесь заблуждаетесь, null принадлежит типу Null, который является тем, что вы называете старой школой, то есть не наследует от Object, иначе у него были бы свойства и методы от Object, а их нет.
Ну и на всякий случай спецификацию смотрите в разделах 4.3 и 8. Плюс к тому 11.4.3 про typeof.

>Я лишь сказал, что если нужны операторы с полноценной поддержкой типов...

Просто вы это писали в ответ на мое недовольство оператором +, который может и сложение чисел и конкатенцию строк, мне оно не удобно. Только и всего, хочу отдельный оператор для конкатенции, а + только для сложения. =)