docstring fixes, added (traced name f), global *trace-prefix*