Fixed prettyprinting of builtin operators