[bes]

Ещё про типы http://es5.javascript.ru/x8.html#x8

8 Типы # Ⓣ
Алгоритмы, рассматриваемые в данной спецификации, манипулируют значениями, у каждого из которых есть тип, к которому он относится. В данной главе описаны все возможные типы значений. Они делятся на две категории: языковые типы language types и типы спецификации specification types.

Языковые типы соответствуют значениям, которыми непосредственно манипулирует создатель кода на языке ECMAScript. К типам спецификации относятся: Undefined, Null, Boolean, String, Number и Object.

Типы спецификации соответствуют мета-значениям, используемым в алгоритмах для описания семантики конструкций языка ECMAScript и языковых типов ECMAScript. К ним относятся типы Reference, List, Completion, Property Descriptor, Property Identifier, Lexical Environment и Environment Record. Значения типов спецификации представляют собой артефакты спецификации, которые вовсе не обязательно соответствуют каким-либо конкретным сущностям в реализации ECMAScript. Они могут использоваться для описания промежуточных результатов вычисления выражения ECMAScript, при этом такие значения не могут храниться как свойства объектов или значения переменных языка ECMAScript.

В тексте данной спецификации выражение "Type(x)" используется в качестве сокращения для фразы "тип, к которому относится x", где "тип" означает языковой тип и тип спецификации, описываемые в данной главе.

Как это и приведённое выше правильно увязать между собой