Introduces a new variable from an expression.