[Python-ideas] Literal type alternative syntax