Double loading on purpose is one thing but accidentally should be avoided.
That's why a scripter shouldn't use dlls (Or files, for that matter) if they don't know what they're doing.
If you call a dll using $shortfn(), then it's illogical to use " for a second call to the dll anyway.
I suppose a command like you said might help with any confusion someone might have, but i'd say that /dll should keep its current behaviour and /dllcopy should check that the dll isn't already loaded, that way no existing scripts that rely on /dll being able to load the same dll twice will be broken.
