Move eval_type_level_int to CoreTools.