showRaw now prints symbols of def trees

A very useful addition that came in handy when hacking macro annotations