A bug fix for expr is const.

Here I'm confused by the meaning of 'temporary varibles'
and 'middle varibles' produced in calculation, together
with 'stack varibles' in let expression.