Maintain pretty-printer bound vars

This means serialized terms, when normalized, will have correct colors
for bound variables.