Show HN: Drop-in, expressive static type and invariant checks for JavaScript | Hacker News Reader