N4JS: JavaScript language extension with sound type system | Hacker News Reader