Beginnings of the asm.js type system.