Move generic symbolic expressions to Expr.hs