Improvements to updateLib. Added some comments describing the various conversions.

Note that the interface has changed a bit. Some conversions now take a compset (and/or a conversion) instead of a list of theorems.