[cl-unification-devel] Fixed a few glitches in CL-UNIFICATION

Hi I fixed anumber of glitches in CL-UNIFICATION, especially w.r.t. MATCH-CASE and friends. Please check if things are still ok. Cheers Marco -- Marco Antoniotti