replace IntSeq with List

This looks like the ```toK``` function in the K builtin documentation, right? If so, I think it's better to keep the name conform to that documentation.