Improve the pretty-printing facilities for Emma Core / Emma Source(ANF)

[aalexandrov]

This will greatly improve the debugging process, and is also on the critical path for good GUI visualization.