Add Expr.Def