Due to the absolute lack of planning in terms of programming language design, if you can even call Uxntal a programming language, means that there was never a census of Uxntal's capabilities.
Before putting this together, I don't think I had a good understanding of the actual hidden complexity of the thing.
Type inference was a game of whack a mole, until things started to come together in these past couple of days.
But really, honestly, I hope to never have to do something like this ever again. Type-checking assembly is totally cursed computing.