showRaw now prints symbols of def trees

A very useful addition that came in handy when hacking macro annotations
Merge pull request #2813 from xeno-by/topic/showraw

showRaw now prints symbols of def trees