Symbol database: Tweaked debug printing of unknown types