Removed --no-undefined flag from link step, as this flag is generally unsupported, and seems unneeded.

Support for reading/updating profiler generated annotations, and applying profiled numeric annotations to the type inference system