Writing a simple type inference solver | Hacker News Reader