Let exprToVar give a useful error message.