replace IntSeq with List

The list element sort is not subsorted to the list sort. So you want to return ```ListItem(X)``` (as an instance of BuiltinList with just one element), not just ```X```.