JIT compiler can upgrade calls to builtin kfuns

The JIT compiler performs a more thorough analysis of the VM code than DGD does, and it could use the knowledge obtained to upgrade kfun calls, for example from `KF_ADD` to `KF_ADD_INT` if the arguments are certain to be integers.