Type system for o.js and beyond!