replace IntSeq with List

why do we have to convert the two builtin lists to label representation in order to match them? for convenience?