Ty Type system feature overview | Hacker News Reader