Type-constrained code generation with language models | Heykuki News