Added permutation to the Insertion sort example. Modified the
constraint solver to accept uninterpreted sorts.