Fixed a typo.
Cleaned up the preliminaries. Added notes on many-sorted first-order
logic.
Renamed EL to CL.