Project Fortress Blog: Types and "Run-time Types" | Hacker News Reader