change how pointers generate type annotations and make them more consistent
fix dereferencing bug
clean up generated type annotations, add more tests
add more builtin math globals
Merge remote-tracking branch 'upstream/asm.js' into asm.js