This crashes: `plt.title(L"\cos x")` with a message starting with `ERROR: Python: TypeError: __str__ returned non-string` Instead, this works: `plt.title(String(L"\cos x"))` Is some kind of conversion planned?