Update list functions to use traits

[lukaszcz]

Btw, one needs to update juvix-quickcheck for the test to typecheck, because now quickSort etc no longer expect an explicit instance argument