Types with AI: Working with LLMs Through Types | Hacker News Reader