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