replace IntSeq with List

same as my comment in ```BuiltinListOperations```