Evaluated proc +doxname {who args} {+dox $who name $args}