[Python-ideas] Allow using the or operator to denote unions in type annotations