Update expr.h