The common case of (copy ...) is copying a file from another directory to the current one with the same name.

What do you think of interpreting (copy src) as (copy src (basename src)) ?

(same for (copy# ...))