not going to do a text rendering visitor afterall -- too much work for too little payoff. Just do toStrings() the traditional' way.