TypeBounds trees printing fixed (for PrettyPrinter)