Type-safety should be table stakes for any production AI system