A Uiua Type System (2025)