Types for Tables: A Language Design Benchmark | Heykuki News