handling any Expr not just Sym