Minor improvements

[Palaolitico]

Some minor changes that I think improve the code:

• Some case analyses have been simplified.
• Some typos using eq instead of cmp are fixed.
• Added length 2 arrays as a base case for shuffle. Otherwise, shuffle([a,b]) will make an identical recursive call with probability 0.5. Simple benchmarking shows a 25% performance improvement.