Added a note about elementary equivalence, and the theory of a model.
Small edits for consistency.
Merge branch 'master' of github.com:RichardEvans/EL