add a compset fragment for combinTheory

in a new combinLib. Also add it to the pervasive compset.
add a pair compset fragment

and add it to the compset
add a finite map compset fragment