Represents an expression that can be evaluated for a variable x.