This is an enhancement that will provide better callsite type info for lazy jitting and hopefully also handle simple things that turning loop variables into ints instead of doubles.