Removed the section on complactness and dumped into compactness.tex.
Created a new file for the draft of compactness by translation.
I have added a new proof of completeness by translation (not
finished), using a second translation from EL to two-sorted FOL.
I've also made various other small changes.