Make add-with-carry and sub-with-borrow usually like add and sub, but with the possibility of changing the register type from POINTER to NUMERIC.

Continue building infrastructure to propagate memory DEFs until indirect writes create possible alias problems.

Expand SAFE function criteria for SMP project to ignore indirect non-stack writes and writes above the return address.

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