This is necessary so that rsymbols can be printed
consistently in Expr.

Also, Pretty.print_vs uses Ident.print_decoded now,
since variables can have operator names.