Semantic Subtyping in Luau | Hacker News Reader