Update Expr.hs