[bes]

ведь переменная является ссылкой

переменная является переменной, является абстракцией и хранит значения, смысл которых (для человека) интерпретируется в соответствии с алгоритмами, описанными в спецификации

А где тогда хранятся все эти ... объекты

в переменной можно хранить значения-ссылки на объекты, сами объекты хранятся в куче (heap)

Но, а как тогда заранее создастся LexicalEnvironment для var sayH = function(), если присвоение произойдёт, только когда дойдём до этого участка кода?

http://es5.javascript.ru/x11.html#x11.13.1

Для вычисления AssignmentExpression : LeftHandSideExpression = AssignmentExpression выполняются следующие шаги:

1. Пусть lref будет результатом вычисления LeftHandSideExpression ("Левосторонее выражение").
2. Пусть rref будет результатом вычисления AssignmentExpression.

на 2 шаге и определится в каком окружении находится функция

И можно поподробнее о сборщике мусора желательно с примером и алгоритмом действия.

ссылки на объект закончились, можно удалять