Wrote mkSolution in CSP.

This commit doesn't type check because Set is not an instance of
Functor.

Other changes: added a comment to DataStructures.insertAll.
Added Data.Functor.Ord and made CSP type check.
Added comments to CSP and DCSP modules.