Type system updates: moving from research into development | Heykuki News