replace IntSeq with List

same in ```BuiltinListOperations```