@nomand very much :ouroboros:

edit: To be clear, Uxntal hasn't changed. It's the same language as it was, but writing type inference reveals its hidden intricacies, similarly to how writing a BNF notation for a language might also.