arc: relax kind bounds on non-constructor

They aren't needed, since arcs without the kinds can't be created
with safe code, and unsafe code should be allowed to do whatever it
wants.

This greatly simplifies libraries using Arc<T> who no longer need
to impose those traits unless they construct arcs.