Better stack rendering; support for quotes.
Adds TOKEN-COLOR.
Adds STRING-PIXEL-WIDTH.
Also, global re-indentation.