Unsound type checking for a Python subset | Hacker News Reader