Introduces a let variable for an expression.