improved symbol printing

Fixes printing of apparently-uninterned symbols and printing of internal symbols (with ::)