This should really be fixed in the printer dispatcher in general. `Function('x')` shouldn't dispatch to `_print_x`.