replace IntSeq with List

can we move this to somewhere else such as ```KItem```? BTW, when do we need to evaluate substitution?