Let-expression with a single binding.

[ilya-klyuchnikov]

The idea: to perform rebuilding when only exactly one sub-expression is extracted.

Benefits:

• It should reduce a number of duplicated results.
• Let-expressions become more deterministic, so we can put them into residual programs.