jTypes: overcoming differential inheritance | Hacker News Reader