If we check `arg` to be a `Symbol`, then things like this will fail: `f(x**2).diff(x)`. I don't see a reason why they would have to fail. It's just that currently (until we implement `Subs`), it is represented as `Derivative(f(x^2), x)`, which I think is totally fine.