Typecheck: Type checking facilities for Lua functions | Hacker News Reader