How we implemented MySQL types in our versioned database | Hacker News Reader