add CoreInt.fold_right