Don’t miss the code package linked in the paper: https://zenodo.org/record/7004898

I always felt like the Python type system was underpowered compared to e.g. TypeScript (not necessarily a bad thing), but I guess it’s still enough to be Turing-complete.