New IntList definition compatible with Leon