[Python-ideas] Ampersand operator for strings