Revive 'numba' script.  Improve annotation for lifted loops.