What pain point of Python as an education language is Pyret trying to address? Union type might be vaguely useful, although some of these use cases can be modelled as inheritance or typed enums.
https://dcic-world.org/2021-08-21/part_appendix.html#%28part...