tetra: fix pretty printing of strings
tetra: drop unused boxed type