Introduces a variable for an expression.