replace IntSeq with List

this is because of converting to KLabel/KList format for A matching, so an evaluation is required after to convert back to builtin representation