[Python-ideas] Operator for inserting an element into a list