added `lazy-let` and added it to the context expansion