Show HN: I made TypeScript's type inference more strict (and smarter) | Heykuki News