More Unicode, factor out pprinting of labels and names
addresses the same issue in 72ed09d  applied to other occurences in the tree,
factored out the pprint code to a helper.

now supports pprinting of heterogeneous nested-nested-nested tuples with unicode strings, 
FTW.
