`system-move-file-to-trash` is predefined and all of this just works as expected if you use the Emacs GUI on Mac.